Supervisory controller design to enforce reversibility and liveness in colored Petri nets
INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, vol.5, no.4, pp.463-470, 2007 (SCI-Expanded, Scopus)
- 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.