Petri Net synthesis algorithm

• Region -> (safe) place

• Excitation region -> transition

• Initial state in region -> initial token in place

• e exits region -> arc from place to e

• e enters region -> arc from e to place

a

b

c

p1

p2

p3

p4

p5

a

b

c

c

b

a

s6

s5

s3

s1

s2

s4

Previous slide

Next slide

Back to first slide

View graphic version