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