René K. Boel, George Jiroveanu. Modular Reachability Analysis for Time Petri Nets with Guarded Transitions. In Sebastian Engell, Hervé Guéguen, Janan Zaytoon, editors, IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003. Volume 36 of IFAC Proceedings Volumes, pages 187-192, Elsevier, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.