{"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":1772554469637,"version":"3.50.1"},"reference-count":49,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"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,6,29]]},"DOI":"10.1109\/icaicst53116.2021.9497808","type":"proceedings-article","created":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T17:10:39Z","timestamp":1627665039000},"page":"179-184","source":"Crossref","is-referenced-by-count":12,"title":["Supervisory Control for Flexible Manufacturing Systems Model Using S<sup>4<\/sup>PR-Nets Based on Siphon"],"prefix":"10.1109","author":[{"given":"Mowafak Hassan","family":"Abdul-Hussin","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref39","article-title":"Platform?Independent Petri ?et Editor","year":"0"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3390\/app10072620"},{"key":"ref33","first-page":"167","article-title":"A Deadlock Prevention Policy for a Class of Petri Nets S3PMR","volume":"25","author":"yan","year":"2009","journal-title":"Journal of Information Science and Engineering"},{"key":"ref32","first-page":"337","article-title":"A Petri net-based deadlock control policy for flexible assembly systems","volume":"38","author":"wu","year":"0"},{"key":"ref31","first-page":"37","article-title":"Siphons and traps structural analysis techniques behaviour of a Petri nets","volume":"1","author":"abdul-hussin","year":"2014","journal-title":"International Journal of Software Engineering (IJSE)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2022985"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1177\/1748301817710922"},{"key":"ref36","first-page":"154","article-title":"Algorithm of li?e and conflict-free petri nets synthesis for prescribed system performance","volume":"17","author":"banaszak","year":"1998","journal-title":"Engineering & Technology J Published by Univ of Tech Baghdad"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxw099"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.15439\/2018F114"},{"key":"ref28","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 Journal of Simulation Systems Science & Technology (IJSSST)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820572"},{"key":"ref2","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 Journal of Automatica Sinica"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CCWC51732.2021.9376131"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.14299\/ijser.2015.07.006"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4236\/jcc.2015.37001"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005053"},{"key":"ref23","first-page":"19","article-title":"Flexible manufacturing system design and optimization using Petri net-based elementary siphons","volume":"119","author":"abdul-hussin","year":"2015","journal-title":"Int J Comput Appl (IJCA)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.5815\/ijwmt.2020.03.02"},{"key":"ref25","first-page":"1070","article-title":"A Petri net approach based elementary siphons supervisor for flexible manufa?turing systsms","volume":"6","author":"abdul-hussin","year":"2015","journal-title":"Inte J of Scie & Engin Res (IJSER)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2019.2905277"},{"key":"ref11","first-page":"31.1","article-title":"An S4PR class Petri net super?isor for manufacturing System","volume":"17","author":"abdul-hussin","year":"2016","journal-title":"Int J of Simulation Systems Science & Technology (IJSSST)"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1177\/1687814016631503"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CCWC51732.2021.9376059"},{"key":"ref13","first-page":"46","article-title":"Design of a petri net based deadlock pre?ention policy supervisor for S3PR","author":"abdul-hussin","year":"2015","journal-title":"IEEE the 6th inter Conf on Intell sys mod & simu"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/NSITNSW.2015.7176395"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.5013\/IJSSST.a.17.33.32"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s00366-008-0122-1"},{"key":"ref18","first-page":"16","article-title":"Petri nets approach to simulate and control of flexible manufacturing systems","volume":"1","author":"abdul-hussin","year":"2014","journal-title":"International Journal of Software Engineering (IJSE)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAIS.2017.8217583"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2019.2905277"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IEMECONX.2019.8877010"},{"key":"ref5","first-page":"257","article-title":"?n li?eness and a class of generalized Petri nets","author":"abdul-hussin","year":"2017","journal-title":"IEEE 8th Annual Ind Auto & Ele Engin Conf (IEMECON)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISMS.2018.00019"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2960435"},{"key":"ref49","first-page":"16","article-title":"Synchronization mechanism for competing processes cooperation","volume":"34","author":"banaszak","year":"1999","journal-title":"Computers Journal National Computer Center Baghdad"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2868981"},{"key":"ref46","first-page":"361","article-title":"Petri net approach to automatic Real-time program synthesis","volume":"17","author":"banaszak","year":"1988","journal-title":"Control and Cybernetics"},{"key":"ref45","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":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302537"},{"key":"ref47","first-page":"115","article-title":"Problems of process flow feasibility in FAS","author":"roszkowska","year":"1993","journal-title":"CIM in Process and Manufacturing Industries"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3072892"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406347"},{"key":"ref44","first-page":"42","article-title":"Planning of Robots Cooperation: Automatic Modelling and Control","volume":"18","author":"banaszak","year":"1999","journal-title":"Engineering and Technology J Published by Univ of Tech"},{"key":"ref43","first-page":"127","article-title":"Automation of self-recovery resource allocation procedures synthesis in FMS","author":"w?jcik","year":"1993","journal-title":"CIM in Process and Manufacturing Industries"}],"event":{"name":"2021 International Conference on Artificial Intelligence and Computer Science Technology (ICAICST)","location":"Yogyakarta, Indonesia","start":{"date-parts":[[2021,6,29]]},"end":{"date-parts":[[2021,6,30]]}},"container-title":["2021 International Conference on Artificial Intelligence and Computer Science Technology (ICAICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9497776\/9497791\/09497808.pdf?arnumber=9497808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:56:45Z","timestamp":1725530205000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9497808\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/icaicst53116.2021.9497808","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}