Controller design to enforce boundedness, liveness and reversibility in Petri nets

Aybar A., Iftar A.

7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, 6 - 08 April 2003, pp.181-186 identifier

  • Publication Type: Conference Paper / Full Text
  • City: Budapest
  • Country: Hungary
  • Page Numbers: pp.181-186
  • Keywords: Petri nets, liveness, reversibility, boundedness, supervisory controller design, manufacturing systems
  • Anadolu University Affiliated: No


Supervisory controller design to enforce boundedness, reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties simultaneously. It is shown that the proposed approach always finds a controller to enforce these properties whenever it is possible. Furthermore, the controller obtained is the least restrictive controller among all controllers which enforce these properties simultaneously. Copyright (C) 2003 IFAC