{ Petri net generated by APT for net action-reacting-third-try }

PLACE
answer_lr, answer_rl, crossanswer_lr, crossanswer_rl, crosstalked_l, crosstalked_r, done_l, done_r, idle_l, idle_r, request_lr, request_rl, wait_l, wait_r;

MARKING
	idle_l	: 1,
	idle_r	: 1;

TRANSITION action_l
CONSUME
	idle_l	: 1;
PRODUCE
	wait_l	: 1,
	request_lr	: 1;

TRANSITION action_r
CONSUME
	idle_r	: 1;
PRODUCE
	wait_r	: 1,
	request_rl	: 1;

TRANSITION crossreceive_l
CONSUME
	crosstalked_l	: 1,
	crossanswer_rl	: 1;
PRODUCE
	done_l	: 1;

TRANSITION crossreceive_r
CONSUME
	crosstalked_r	: 1,
	crossanswer_lr	: 1;
PRODUCE
	done_r	: 1;

TRANSITION crosstalk_l
CONSUME
	request_rl	: 1,
	wait_l	: 1;
PRODUCE
	crosstalked_l	: 1,
	crossanswer_lr	: 1;

TRANSITION crosstalk_r
CONSUME
	request_lr	: 1,
	wait_r	: 1;
PRODUCE
	crosstalked_r	: 1,
	crossanswer_rl	: 1;

TRANSITION reaction_l
CONSUME
	idle_l	: 1,
	request_rl	: 1;
PRODUCE
	answer_lr	: 1,
	done_l	: 1;

TRANSITION reaction_r
CONSUME
	idle_r	: 1,
	request_lr	: 1;
PRODUCE
	done_r	: 1,
	answer_rl	: 1;

TRANSITION receive_l
CONSUME
	answer_rl	: 1,
	wait_l	: 1;
PRODUCE
	idle_l	: 1;

TRANSITION receive_r
CONSUME
	wait_r	: 1,
	answer_lr	: 1;
PRODUCE
	idle_r	: 1;

TRANSITION return_l
CONSUME
	done_l	: 1;
PRODUCE
	idle_l	: 1;

TRANSITION return_r
CONSUME
	done_r	: 1;
PRODUCE
	idle_r	: 1;