Supervisory controller design to enforce basic properties in timed-place petri nets


6th IFAC/ACM Conference on Management and Control of Production and Logistics, MCPL 2013, Fortaleza, Brazil, 11 - 13 September 2013, vol.6, pp.486-492 identifier

  • Publication Type: Conference Paper / Full Text
  • Volume: 6
  • Doi Number: 10.3182/20130911-3-br-3021.00018
  • City: Fortaleza
  • Country: Brazil
  • Page Numbers: pp.486-492
  • Keywords: Boundedness, Discrete-event systems, Liveness, Petri nets, Reversibility., Supervisory controller design, Time-delay
  • Anadolu University Affiliated: Yes


Supervisory controller design to enforce boundedness, reversibility, and liveness in discrete-event systems with time-delays is considered. It is assumed that the system is modeled by a timed-place Petri net. The approach of place-stretching, which has been introduced recently, is used for the purpose of designing a controller. Algorithms are presented to design a supervisory controller to enforce boundedness and reversibility simultaneously. This controller also guarantees T -livenees for the largest possible subset T of the set of transitions. Therefore, boundedness, reversibility, and liveness are enforced simultaneously whenever possible. Furthermore, the designed controller is also maximally permissive. © IFAC.