Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets

Eike Best, Raymond R. Devillers. Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. In Adrian Horia Dediu, Carlos Martín-Vide, José Luis Sierra-Rodríguez, Bianca Truthe, editors, Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings. Volume 8370 of Lecture Notes in Computer Science, pages 161-172, Springer, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.