Identification of unbounded Petri nets from their coverability graph

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu. Identification of unbounded Petri nets from their coverability graph. In 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, 13-15 December, 2006. pages 434-440, IEEE, 2006. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.