Paper Info
Title
Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs.
Abstract
This paper handles the optimal supervisory control problem of Petri nets (PNs) via two PN structures, namely, weighted and data inhibitor arcs. It is a two-stage method. In the first stage, for each transition that may lead to illegal markings, a set of observer places with weighted inhibitor arcs is used to optimally control the maximal number of marking/transition separation instances (MTSIs) through the proposed integer linear program. Then, the controlled MTSIs are removed from the set of MTSIs. In the second stage, at each iteration, for an MTSI that cannot be controlled at the first control stage, we design an optimal observer place with a data inhibitor arc. This process terminates after all the MTSIs are controlled. The first-stage can sharply lower the computational burden compared with the method by using data inhibitor arcs alone. Finally, a typical example is presented to shed light on this technique. The proposed control strategy can definitely yield an optimal supervisor for any bounded PN on the premise that such a supervisor exists.
Year
DOI
Venue
2018
10.1109/ACCESS.2018.2797213
IEEE ACCESS
Keywords
Field
DocType
Petri net,weighted inhibitor arc,data inhibitor arc,observer place,supervisory control
Supervisor,Integer,Arc (geometry),Petri net,Computer science,Control theory,Supervisory control,Linear programming,Observer (quantum physics),Bounded function,Distributed computing
Journal
Volume
ISSN
Citations 
6
2169-3536
0
PageRank 
References 
Authors
0.34
0
6
Name
Order
Citations
PageRank
Xuya Cong100.68
Yufeng Chen2505.37
ZhiWu Li31863113.66
Naiqi Wu41727109.89
Emad S. Abouel Nasr501.35
Abdul-Aziz Mohammed El-Tamimi602.37