<  Back to the Polytechnique Montréal portal

Model checking of time Petri nets

R. Hadjdj and Hanifa Boucheneb

Book Section (2008)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/20711/
Publisher: I-Tech Publishing
DOI: 10.5772/5318
Official URL: https://doi.org/10.5772/5318
Date Deposited: 18 Apr 2023 15:15
Last Modified: 05 Apr 2024 11:04
Cite in APA 7: Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. In Petri Net: Theory and application . https://doi.org/10.5772/5318



Repository Staff Only

View Item View Item