Deadlock control of concurrent manufacturing processes sharing finite resources

Basit Öğe Kaydı
dc.authorid0000-0003-1547-5503
dc.authorid0000-0001-9625-5523
dc.contributor.authorLi, ZhiWu
dc.contributor.authorUzam, Murat
dc.contributor.authorZhou, MengChu
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2008
dc.departmentNiğde ÖHÜ
dc.description.abstractA novel deadlock control policy is developed for modeling the concurrent execution of manufacturing processes with limited shared resources through a class of nets, (ESPR)-P-3. A relevant property of the system behavior is that it is deadlock-free. Recent work has shown that deadlock situations in a plant system can be easily characterized by the structural analysis of the system, particularly, in terms of unmarked or insufficiently marked siphons in its Petri net model. The strict minimal siphons in a plant (ESPR)-P-3 net model are divided into elementary and dependent ones. The proposed deadlock prevention policy is to make all siphons satisfy maximal cs-property when the elementary siphons in the plant Petri net model are properly supervised via explicitly adding monitors for them with appropriate initial markings. Compared with the existing approaches in the literature, the advantage of the policy is that a much smaller number of supervisory places (monitors) are added and unnecessary iterative processes are avoided. Finally, its application is illustrated by a flexible manufacturing example.
dc.description.sponsorshipNational Nature Science Foundation [60474018, 60228004]; Laboratory Foundation for the Returned Overseas Chinese Scholars, State Education Ministry of China [030401]; Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry of China, [2004-527]
dc.description.sponsorshipThe authors would like to thank the National Nature Science Foundation of China under Grant No 60474018 and 60228004, the Laboratory Foundation for the Returned Overseas Chinese Scholars, State Education Ministry of China, under Grant No 030401, the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry of China, under Grant No 2004-527.
dc.identifier.doi10.1007/s00170-007-1125-6
dc.identifier.endpage800
dc.identifier.issn0268-3768
dc.identifier.issn1433-3015
dc.identifier.issue45511
dc.identifier.scopus2-s2.0-49649128349
dc.identifier.scopusqualityQ1
dc.identifier.startpage787
dc.identifier.urihttps://dx.doi.org/10.1007/s00170-007-1125-6
dc.identifier.urihttps://hdl.handle.net/11480/5206
dc.identifier.volume38
dc.identifier.wosWOS:000258547600013
dc.identifier.wosqualityQ3
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthor[0-Belirlenecek]
dc.language.isoen
dc.publisherSPRINGER LONDON LTD
dc.relation.ispartofINTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.subjectpetri net
dc.subjectdeadlock prevention
dc.subjectelementary siphon
dc.subjectdependent siphon
dc.subjectflexible manufacturing system
dc.titleDeadlock control of concurrent manufacturing processes sharing finite resources
dc.typeArticle

Dosyalar

Koleksiyon

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