Supervisory controller design to enforce reversibility and liveness in colored Petri nets

Aybar A., Cimen M.

INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, vol.5, no.4, pp.463-470, 2007 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 5 Issue: 4
  • Publication Date: 2007
  • Journal Name: INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.463-470
  • Keywords: colored Petri nets, discrete event systems, liveness, reversibility, supervisory controller
  • Anadolu University Affiliated: Yes

Abstract

Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, written by pseudo-code, are presented for the supervisory controller design. A program is developed to implement these algorithms.