| dc.contributor.author | Aybar, Aydın | |
| dc.contributor.author | Çimen, Mustafa | |
| dc.date.accessioned | 2019-10-21T20:40:58Z | |
| dc.date.available | 2019-10-21T20:40:58Z | |
| dc.date.issued | 2007 | |
| dc.identifier.issn | 1598-6446 | |
| dc.identifier.uri | https://hdl.handle.net/11421/20596 | |
| dc.description | WOS: 000248954500013 | en_US |
| dc.description.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. | en_US |
| dc.language.iso | eng | en_US |
| dc.publisher | Inst Control Robotics & Systems-Icros | en_US |
| dc.rights | info:eu-repo/semantics/closedAccess | en_US |
| dc.subject | Colored Petri Nets | en_US |
| dc.subject | Discrete Event Systems | en_US |
| dc.subject | Liveness | en_US |
| dc.subject | Reversibility | en_US |
| dc.subject | Supervisory Controller | en_US |
| dc.title | Supervisory controller design to enforce reversibility and liveness in colored Petri nets | en_US |
| dc.type | article | en_US |
| dc.relation.journal | International Journal of Control Automation and Systems | en_US |
| dc.contributor.department | Anadolu Üniversitesi, Mühendislik Fakültesi, Elektrik ve Elektronik Mühendisliği Bölümü | en_US |
| dc.identifier.volume | 5 | en_US |
| dc.identifier.issue | 4 | en_US |
| dc.identifier.startpage | 463 | en_US |
| dc.identifier.endpage | 470 | en_US |
| dc.relation.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US] |
| dc.contributor.institutionauthor | Aybar, Aydın | |
