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]
Abstract is missing.