Journal
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS
Volume 44, Issue 2, Pages 196-208Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TSMC.2013.2238923
Keywords
Automated manufacturing systems (AMSs); deadlock control; discrete event system; linear integer programming (LIP); Petri nets; siphons
Funding
- National Nature Science Foundation of China [60774083, 50975224]
- National Basic Research Program of China [2011CB302804]
Ask authors/readers for more resources
In automated manufacturing systems (AMSs), deadlock problems must be well solved. Many deadlock control policies, which are based on siphons or Resource-Transition Circuits (RTCs) of Petri net models of AMSs, have been proposed. To obtain a live Petri net controller of small size, this paper proposes for the first time the concept of transition covers in Petri net models. A transition cover is a set of Maximal Perfect RTCs (MPCs), and the transition set of its MPCs can cover the set of transitions of all MPCs. By adding a control place with the proper control variable to each MPC in an effective transition cover to make sure that it is not saturated, it is proved that deadlocks can be prevented, whereas the control variables can be obtained by linear integer programming. Since the number of MPCs in an effective transition cover is less than twice that of transition vertices, the obtained controller is of small size. The effectiveness of a transition cover is checked, and ineffective transition covers can be transformed into effective ones. Some examples are used to illustrate the proposed methods and show the advantage over the previous ones.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available