Outline
Petri nets
properties
linear algebraic methods
structural methods (Free Choice nets)
unfoldings
Petri net synthesis
Previous slide
Next slide
Back to first slide
View graphic version