Place-irredundant Petri nets

• Saturated net includes all minimal regions

• Place-irredundant net: minimal set of minimal regions s.t. excitation closure and event effectiveness are satisfied

a

c

e

f

d

b

Previous slide

Next slide

Back to first slide

View graphic version