Deadlock prevention for flexible manufacturing systems via controllable siphon basis of Petri nets

Huixia Liu, Keyi Xing, Weimin Wu, Mengchu Zhou, Hailin Zou

Research output: Contribution to journalArticlepeer-review

56 Scopus citations


Siphons are a kind of special structural objects in a Petri net, and plays a key role in synthesizing a live Petri net controller for flexible manufacturing systems. In order to obtain a small size Petri net controller, this paper introduces the concept of a controllable siphon basis. It then proves that a live Petri net controller can be established by adding a control place and related arcs to each strict minimal siphon (SMS) in a controllable siphon basis. The initial markings of control places are determined by an integer linear program. The number of control places in the obtained controllers is the same as the number of SMSs in the controllable siphon basis, while the latter is no more than that of the activity places in a Petri net model. An algorithm for constructing a controllable siphon basis is proposed, and a new deadlock prevention policy based on it is established. A few examples are provided to demonstrate the proposed concepts and policy and used to compare them with the state-of-the-art methods.

Original languageEnglish (US)
Article number6895143
Pages (from-to)519-529
Number of pages11
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Issue number3
StatePublished - Mar 1 2015

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering


  • Discrete event systems
  • Petri nets
  • flexible manufacturing systems
  • integer linear program (ILP)


Dive into the research topics of 'Deadlock prevention for flexible manufacturing systems via controllable siphon basis of Petri nets'. Together they form a unique fingerprint.

Cite this