Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems

Basit Öğe Kaydı
dc.authorid0000-0001-9625-5523
dc.contributor.authorUzam, M
dc.contributor.authorZhou, MC
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2004
dc.departmentNiğde ÖHÜ
dc.descriptionIEEE International Conference on Systems, Man and Cybernetics -- OCT 10-13, 2004 -- The Hague, NETHERLANDS
dc.description.abstractThis paper presents an iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems (FMS). Given the Petri net (PN) of an FMS prone to deadlock, the goal is to obtain a live controlled PN such that its use for control can lead to high utilization of system resources. In the proposed method, at each iteration, a first-met bad marking is singled out from the reachability graph of PN. The objective is to prevent this marking from being reached by a place invariant. To satisfy this place invariant, a well-established invariant-based control method is used to derive a control place with its related arcs and initial marking. This process is carried out until the PN becomes live. The method is easy to use, effective and straightforward It is generally applicable-yet its off-line computation is of exponential complexity. An example FMS is used to show the proposed method.
dc.description.sponsorshipIEEE
dc.identifier.endpage4265
dc.identifier.isbn0-7803-8566-7
dc.identifier.issn1062-922X
dc.identifier.scopus2-s2.0-15744377860
dc.identifier.scopusqualityN/A
dc.identifier.startpage4260
dc.identifier.urihttps://hdl.handle.net/11480/5683
dc.identifier.wosWOS:000226863300718
dc.identifier.wosqualityN/A
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthor[0-Belirlenecek]
dc.language.isoen
dc.publisherIEEE
dc.relation.ispartof2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7
dc.relation.ispartofseriesIEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, CONFERENCE PROCEEDINGS
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.subjectflexible manufacturing systems (FMS)
dc.subjectdeadlock prevention
dc.subjectPetri nets (PN)
dc.subjectreachability analysis
dc.titleIterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems
dc.typeConference Object

Dosyalar

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu