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

Advertisement