{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T03:05:35Z","timestamp":1775099135403,"version":"3.50.1"},"reference-count":68,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100004919","name":"National Plan for Science, Technology and Innovation (MAARIFAH), King Abdulaziz City for Science and Technology, Kingdom of Saudi Arabia","doi-asserted-by":"publisher","award":["14-ELE69-02"],"award-info":[{"award-number":["14-ELE69-02"]}],"id":[{"id":"10.13039\/501100004919","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1109\/access.2021.3111575","type":"journal-article","created":{"date-parts":[[2021,9,9]],"date-time":"2021-09-09T20:01:58Z","timestamp":1631217718000},"page":"125616-125627","source":"Crossref","is-referenced-by-count":8,"title":["Colored Resource-Oriented Petri Nets for Deadlock Control and Reliability Design of Automated Manufacturing Systems"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4192-8713","authenticated-orcid":false,"given":"Adel","family":"Al-Shayea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3608-013X","authenticated-orcid":false,"given":"Husam","family":"Kaid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3079-0141","authenticated-orcid":false,"given":"Abdulrahman","family":"Al-Ahmari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6967-7747","authenticated-orcid":false,"given":"Emad Abouel","family":"Nasr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali K.","family":"Kamrani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7873-0586","authenticated-orcid":false,"given":"Haitham A.","family":"Mahmoud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/87.641399"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2968469"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/537893"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.068"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.3390\/app10155270"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2936052"},{"key":"ref37","first-page":"426","article-title":"Supervisor controller-based colored Petri nets for deadlock control and machine failures in automated manufacturing systems","volume":"14","author":"kaid","year":"2020","journal-title":"Int J Ind Manuf Eng"},{"key":"ref36","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2897753"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2019.09.018"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2015.101"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2896254"},{"key":"ref61","first-page":"64","article-title":"Resource-oriented Petri nets in deadlock avoidance of AGV systems","author":"wu","year":"2001","journal-title":"Proc IEEE Int Conf Robot Autom ICRA"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.888049"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406346"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3022694"},{"key":"ref65","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1177\/0142331208095622","article-title":"Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes","volume":"33","author":"wu","year":"2011","journal-title":"Trans Inst Measur Control"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3041408"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-002-1526-5"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3084995"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73102-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/pr8030358"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3390\/pr8010021"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.01.003"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2015.01.028"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2013.807375"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2558106"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.01.057"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2959904"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2815618"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.08.016"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2007.372782"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.184"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2018.11.025"},{"key":"ref56","first-page":"2516","article-title":"Deadlock avoidance of flexible manufacturing systems by colored resource-oriented Petri nets with novel colored capacity","author":"xiang","year":"2020","journal-title":"Proc EasyChair"},{"key":"ref55","first-page":"193","article-title":"Deadlock avoidance in semiconductor track systems","author":"wu","year":"2002","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref54","first-page":"2427","article-title":"Avoiding deadlocks in automated manufacturing systems with shared material handling system","author":"wu","year":"1997","journal-title":"Proc Int Conf Robot Autom"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/70.964666"},{"key":"ref52","author":"wu","year":"2009","journal-title":"System Modeling and Control with Resource-Oriented Petri Nets"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s001700200014"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2004.1401200"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/41.873210"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/1748301817710922"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.01.021"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IEOM.2015.7093819"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2677859"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.1019464"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.02.022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918616"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.917142"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMR.118-120.566"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1108\/13552510610705955"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMR.118-120.561"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2088120"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.7166\/30-1-1849"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2004.823875"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2999054"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2014.08.011"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850141"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2006.886255"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2003.1267910"},{"key":"ref41","first-page":"83","article-title":"Supervisor system for detection and treatment of failures in manufacturing systems using distributed Petri nets","author":"riascos","year":"2001","journal-title":"Proc Manuf Modeling Manage Control IFAC Workshop (MIM)"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2007.06.002"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2005.02.002"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9312710\/09531366.pdf?arnumber=9531366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:55:33Z","timestamp":1639770933000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9531366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":68,"URL":"https:\/\/doi.org\/10.1109\/access.2021.3111575","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]}}}