{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:14:29Z","timestamp":1772554469563,"version":"3.50.1"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T00:00:00Z","timestamp":1611705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T00:00:00Z","timestamp":1611705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,1,27]]},"DOI":"10.1109\/ccwc51732.2021.9376131","type":"proceedings-article","created":{"date-parts":[[2021,3,17]],"date-time":"2021-03-17T20:17:39Z","timestamp":1616012259000},"page":"0696-0701","source":"Crossref","is-referenced-by-count":19,"title":["Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S<sup>4<\/sup>PR-Nets"],"prefix":"10.1109","author":[{"given":"Mowafak Hassan","family":"Abdul-Hussin","sequence":"first","affiliation":[{"name":"University of Technology,Dept. of Communication Engi.,Baghdad,IQ"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.5013\/IJSSST.a.17.33.32"},{"key":"ref12","first-page":"31.1","article-title":"An S4PR Class Petri Net Supervisor for Manufacturing System","volume":"17","author":"abdul-hussin","year":"2016","journal-title":"Int J of Simulation Systems Science & Technology (IJSSST)"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1109\/JAS.2020.1003210","article-title":"Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming","author":"wang","year":"2021","journal-title":"IEEE\/CAA J Autom Sinica early access"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2906324"},{"key":"ref14","first-page":"154","article-title":"Algorithm of live and conflict-free petri nets synthesis for prescribed system performance","volume":"17","author":"banaszak","year":"1998","journal-title":"Engineering and Technology Journal"},{"key":"ref31","first-page":"6677","article-title":"Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View","volume":"7","author":"zhong","year":"2011","journal-title":"International Journal of Innovative Computing Information and Control"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2677859"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2868981"},{"key":"ref33","first-page":"75","article-title":"Petri nets approach to simulate and control of flexible manufacturing systems","author":"abdul-hussin","year":"2014","journal-title":"Proc of World Congress on E-Iearning Education and Computer Science Int Conf on Advanced Studies in Computer Sci & Engin (ICASCSE'2014)"},{"key":"ref10","first-page":"42","article-title":"Planning of robots cooperation: automatic modelling and control","volume":"18","author":"banaszak","year":"1999","journal-title":"Engineering and Technology Journal"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2015.1098785"},{"key":"ref2","first-page":"2117","article-title":"A deadlock prevention method for FMSs with multiple resource acquisitions","volume":"3","author":"li","year":"2004","journal-title":"IEEE Int Conf on Control Automation Robotics and Vision"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/NSITNSW.2015.7176395"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISMS.2018.00019"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2019.2905277"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","article-title":"Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems","volume":"34","author":"li","year":"2004","journal-title":"IEEE Trans System Man Cybern Part A Systems and Humans"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2960435"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IEMECONX.2019.8877010"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2010.504785"},{"key":"ref26","first-page":"1","article-title":"Simulation and control of manufacturing system based siphon Petri nets","volume":"20","author":"abdul-hussin","year":"2019","journal-title":"Inter J of Simulation Systems Science & Technology (IJSSST)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s00366-008-0122-1"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","article-title":"A Petri net based deadlock prevention policy for flexible manufacturing systems","volume":"11","author":"j","year":"1995","journal-title":"IEEE Trans Robotics and Automation"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820572"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2046111"},{"key":"ref28","year":"0","journal-title":"Platform Independent Petri-Net Editor"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2939855"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.14299\/ijser.2015.07.006"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IEMECON.2017.8079601"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14299\/ijser.2015.05.009"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAIS.2017.8217583"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20060218"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISMS.2015.54"},{"key":"ref6","first-page":"307","article-title":"Modelling and simulation of flexible assembly system: A Petri net approach","volume":"15","author":"banaszak","year":"1995","journal-title":"Qater University of Sciences Journal"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.5120\/21369-4408"}],"event":{"name":"2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC)","location":"NV, USA","start":{"date-parts":[[2021,1,27]]},"end":{"date-parts":[[2021,1,30]]}},"container-title":["2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9375825\/9375905\/09376131.pdf?arnumber=9376131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,26]],"date-time":"2024-08-26T05:32:55Z","timestamp":1724650375000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9376131\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,27]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/ccwc51732.2021.9376131","relation":{},"subject":[],"published":{"date-parts":[[2021,1,27]]}}}