<  Back to the Polytechnique Montréal portal

Efficient reachability analysis for time petri nets

Rachid Hadjidj and Hanifa Boucheneb

Article (2011)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/16802/
Journal Title: IEEE Transactions on Computers (vol. 60, no. 8)
Publisher: IEEE
DOI: 10.1109/tc.2010.195
Official URL: https://doi.org/10.1109/tc.2010.195
Date Deposited: 18 Apr 2023 15:12
Last Modified: 08 Apr 2025 01:44
Cite in APA 7: Hadjidj, R., & Boucheneb, H. (2011). Efficient reachability analysis for time petri nets. IEEE Transactions on Computers, 60(8), 1085-1099. https://doi.org/10.1109/tc.2010.195

Statistics

Dimensions

Repository Staff Only

View Item View Item