Open AccessOptimal controllability of 3‐composed siphons in a class of Petri nets
Author(s) -
Hou Y.F.,
Li Z.W.,
Hong L.,
AlAhmari A.M.
Publication year - 2013
Publication title -
electronics letters
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.375
H-Index - 146
ISSN - 1350-911X
DOI - 10.1049/el.2012.4512
Subject(s) - siphon (mollusc) , petri net , controllability , liveness , supervisor , class (philosophy) , set (abstract data type) , polynomial , mathematics , stochastic petri net , computer science , control theory (sociology) , discrete mathematics , topology (electrical circuits) , theoretical computer science , algorithm , control (management) , programming language , combinatorics , artificial intelligence , mathematical analysis , ecology , political science , law , biology
A controllability condition of a siphon composed of three elementary ones in a class of Petri nets, namely S 3 PR, is developed. Under the condition, a maximally permissive liveness‐enforcing supervisor expressed by a set of monitors (control places) can be decided by an algorithm with polynomial complexity for an S 3 PR if every dependent siphon is m ‐composed with m ≤ 3.