dc.contributor.author | Aybar, Aydın | |
dc.contributor.author | İftar, Altuğ | |
dc.contributor.editor | Monostori, L | |
dc.contributor.editor | Kadar, B | |
dc.contributor.editor | Morel, G | |
dc.date.accessioned | 2019-10-21T20:40:55Z | |
dc.date.available | 2019-10-21T20:40:55Z | |
dc.date.issued | 2003 | |
dc.identifier.isbn | 0-08-044289-7 | |
dc.identifier.uri | https://hdl.handle.net/11421/20564 | |
dc.description | 7th IFAC Workshop on Intelligent Manufacturing Systems -- APR 06-08, 2003 -- BUDAPEST, HUNGARY | en_US |
dc.description | WOS: 000189389200031 | en_US |
dc.description.abstract | Supervisory controller design to enforce boundedness, reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties simultaneously. It is shown that the proposed approach always finds a controller to enforce these properties whenever it is possible. Furthermore, the controller obtained is the least restrictive controller among all controllers which enforce these properties simultaneously. Copyright (C) 2003 IFAC | en_US |
dc.description.sponsorship | Int Federat Automat Control, IFAC TC MIM, IFAC TC MIA, IFAC TC CCA, IFAC TC5 Comp Applicat Technol, IMS Network Excellence, Hungarian Acad Sci, Comp & Automat Res Inst | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Pergamon-Elsevier Science LTD | en_US |
dc.relation.ispartofseries | IFAC WORKSHOP SERIES | |
dc.rights | info:eu-repo/semantics/closedAccess | en_US |
dc.subject | Petri Nets | en_US |
dc.subject | Liveness | en_US |
dc.subject | Reversibility | en_US |
dc.subject | Boundedness | en_US |
dc.subject | Supervisory Controller Design | en_US |
dc.subject | Manufacturing Systems | en_US |
dc.title | Controller design to enforce boundedness, liveness and reversibility in Petri nets | en_US |
dc.type | conferenceObject | en_US |
dc.relation.journal | Intelligent Manufacturing Systems 2003 | en_US |
dc.contributor.department | Anadolu Üniversitesi, Mühendislik Fakültesi, Elektrik ve Elektronik Mühendisliği Bölümü | en_US |
dc.identifier.startpage | 181 | en_US |
dc.identifier.endpage | 186 | en_US |
dc.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US] |
dc.contributor.institutionauthor | Aybar, Aydın | |
dc.contributor.institutionauthor | İftar, Altuğ | |