PN: Formalism Presentation
Petri Nets: Formal Presentation
A Petri net is reversible iff its reachable tree is
Practical method for the analysis of the properties
1- prove that it is k-bounded,
2- prove that it is reversible
3 - prove that it is quasi-live
If the net is quasi-live and reversible it is also live, Why?