<  Back to the Polytechnique Montréal portal

Reachability analysis of P-time petri nets with parametric markings

Hanifa Boucheneb and Kamel Barkaoui

Paper (2012)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
ISBN: 9780769547091
PolyPublie URL: https://publications.polymtl.ca/15744/
Conference Title: 12th International Conference on Application of Concurrency to System Design (ACSD 2012)
Conference Location: Hamburg, Germany
Conference Date(s): 2012-06-27 - 2012-06-29
Publisher: IEEE
DOI: 10.1109/acsd.2012.23
Official URL: https://doi.org/10.1109/acsd.2012.23
Date Deposited: 18 Apr 2023 15:10
Last Modified: 08 Apr 2025 12:19
Cite in APA 7: Boucheneb, H., & Barkaoui, K. (2012, June). Reachability analysis of P-time petri nets with parametric markings [Paper]. 12th International Conference on Application of Concurrency to System Design (ACSD 2012), Hamburg, Germany. https://doi.org/10.1109/acsd.2012.23

Statistics

Dimensions

Repository Staff Only

View Item View Item