IEEE - Institute of Electrical and Electronics Engineers, Inc. - Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets
2010 International Conference on Application of Concurrency to System Design (ACSD)
Author(s): | Heidari, P. ; Boucheneb, H. |
Publisher: | IEEE - Institute of Electrical and Electronics Engineers, Inc. |
Publication Date: | 1 June 2010 |
Conference Location: | Braga, TBD, Portugal, Portugal |
Conference Date: | 21 June 2010 |
Page(s): | 201 - 210 |
ISBN (Electronic): | 978-1-4244-7267-3 |
ISBN (Paper): | 978-1-4244-7266-6 |
ISSN (Paper): | 1550-4808 |
DOI: | 10.1109/ACSD.2010.23 |
Regular:
This paper considers the Time Petri Nets (the TPN model) with controllable and uncontrollable transitions. It proposes a completely forward on-the-fly algorithm for checking the existence of a... View More