A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets

Li Shaoyong and Zhao Chunrun

International Journal of Systems Science, 2020, vol. 51, issue 5, 771-785

Abstract: This paper develops a concept of control transition equation (CTE) and the corresponding deadlock control algorithm (DCA) using control transitions (CTs) to eliminate deadlocks in Petri nets. By analysing the reachability graph (RG) of an original net $(N_0,M_0) $(N0,M0) with deadlocks, this DCA firstly find all deadlock markings (DMs) and then the corresponding CTs are solved on the basis of the proposed CTE. Secondly, a linear programming problem that can minimise the number of CTs is applied to these CTs. In addition, in order to furtherly simplify the structure of these CTs, the reconstruction of the necessarily added CTs is performed by a circulating sequence number method. Finally, a live controlled system $(N^{C},M^{ C}) $(NC,MC) with the simpler structure is obtained by adding the desired CTs to $(N_0,M_0) $(N0,M0), which can reach the same number of states as the original plant model $(N_0,M_0) $(N0,M0), i. e. live maximally reachable number. The proposed DCA is different from deadlock prevention policies using control places (CPs) in most existing literature and whose correctness and efficiency are verified via the theoretical analysis and the relevant several examples.

Date: 2020
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1080/00207721.2020.1737268 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:tsysxx:v:51:y:2020:i:5:p:771-785

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/TSYS20

DOI: 10.1080/00207721.2020.1737268

Access Statistics for this article

International Journal of Systems Science is currently edited by Visakan Kadirkamanathan

More articles in International Journal of Systems Science from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().