{ Petri net generated by APT for net Lamport's algorithm }

PLACE
p1, p2, p3, q1, q2, q3, q4, q5, xf, xt, yf, yt;

MARKING
	p1	: 1,
	q1	: 1,
	xf	: 1,
	yf	: 1;

TRANSITION s1
CONSUME
	p1	: 1,
	xf	: 1;
PRODUCE
	p2	: 1,
	xt	: 1;

TRANSITION s2
CONSUME
	p2	: 1,
	yf	: 1;
PRODUCE
	p3	: 1,
	yf	: 1;

TRANSITION s3
CONSUME
	yt	: 1,
	p2	: 1;
PRODUCE
	yt	: 1,
	p2	: 1;

TRANSITION s4
CONSUME
	xt	: 1,
	p3	: 1;
PRODUCE
	xf	: 1,
	p1	: 1;

TRANSITION t1
CONSUME
	q1	: 1,
	yf	: 1;
PRODUCE
	q2	: 1,
	yt	: 1;

TRANSITION t2
CONSUME
	q2	: 1,
	xt	: 1;
PRODUCE
	xt	: 1,
	q3	: 1;

TRANSITION t3
CONSUME
	q3	: 1,
	yt	: 1;
PRODUCE
	q4	: 1,
	yf	: 1;

TRANSITION t4
CONSUME
	xf	: 1,
	q4	: 1;
PRODUCE
	q1	: 1,
	xf	: 1;

TRANSITION t5
CONSUME
	q4	: 1,
	xt	: 1;
PRODUCE
	q4	: 1,
	xt	: 1;

TRANSITION t6
CONSUME
	q2	: 1,
	xf	: 1;
PRODUCE
	xf	: 1,
	q5	: 1;

TRANSITION t7
CONSUME
	yt	: 1,
	q5	: 1;
PRODUCE
	q1	: 1,
	yf	: 1;