Title :
On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets
Author :
Lacerda, Bruno ; Lima, Pedro U.
Author_Institution :
Sch. of Comput. Sci., Univ. of Birmingham, Birmingham, UK
Abstract :
We show that the notion of uncontrollable marking commonly used in the literature on supervisory control theory of Petri nets is not sound, by means of a counter-example. We also show how the definition can be corrected and provide an adaptation of a decidability proof for the problem of checking controllability for specifications expressed as deterministic Petri net languages.
Keywords :
Petri nets; controllability; decidability; discrete event systems; controllability checking; decidability proof; deterministic Petri net languages; discrete event systems; supervisory control theory; uncontrollable marking; Controllability; Feedback loop; Frequency modulation; Manganese; Petri nets; Supervisory control; Synchronization; Controllability; Petri nets (PNs); discrete event systems (DES); supervisory control;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2014.2320801
