Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets
- Cite this paper as:
- Best E., Devillers R. (2014) Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. In: Dediu AH., Martín-Vide C., Sierra-Rodríguez JL., Truthe B. (eds) Language and Automata Theory and Applications. LATA 2014. Lecture Notes in Computer Science, vol 8370. Springer, Cham
The structure of the reachability graph of a live and bounded marked graph Petri net is fully characterised. A dedicated synthesis procedure is presented which allows the net and its bounds to be computed from its reachability graph.
KeywordsPetri nets region theory system synthesis transition systems
Unable to display preview. Download preview PDF.