INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, vol.5, no.4, pp.463-470, 2007 (SCI-Expanded)
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.