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]
@inproceedings{BoelJ03,
title = {Modular Reachability Analysis for Time Petri Nets with Guarded Transitions},
author = {René K. Boel and George Jiroveanu},
year = {2003},
doi = {10.1016/S1474-6670(17)36429-7},
url = {https://doi.org/10.1016/S1474-6670(17)36429-7},
researchr = {https://researchr.org/publication/BoelJ03},
cites = {0},
citedby = {0},
pages = {187-192},
booktitle = {IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003},
editor = {Sebastian Engell and Hervé Guéguen and Janan Zaytoon},
volume = {36},
number = {6},
series = {IFAC Proceedings Volumes},
publisher = {Elsevier},
}