{"id":"https://openalex.org/W4285229139","doi":"https://doi.org/10.1109/tsmc.2022.3174421","title":"A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets","display_name":"A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets","publication_year":2022,"publication_date":"2022-06-06","ids":{"openalex":"https://openalex.org/W4285229139","doi":"https://doi.org/10.1109/tsmc.2022.3174421"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2022.3174421","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2022.3174421","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033428699","display_name":"Shouguang Wang","orcid":"https://orcid.org/0000-0002-8998-0433"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"ShouGuang Wang","raw_affiliation_strings":["School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073696205","display_name":"Xin Guo","orcid":"https://orcid.org/0000-0002-1558-7559"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Guo","raw_affiliation_strings":["School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069808600","display_name":"Oussama Karoui","orcid":"https://orcid.org/0000-0002-7061-7108"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Oussama Karoui","raw_affiliation_strings":["School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]},{"id":"https://openalex.org/I185163786","display_name":"King Abdulaziz University","ror":"https://ror.org/02ma4wv74","country_code":"SA","type":"education","lineage":["https://openalex.org/I185163786"]}],"countries":["SA","US"],"is_corresponding":false,"raw_author_name":"MengChu Zhou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","Center of Research Excellence in Renewable Energy and Power Systems, King Abdulaziz University, Jeddah, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]},{"raw_affiliation_string":"Center of Research Excellence in Renewable Energy and Power Systems, King Abdulaziz University, Jeddah, Saudi Arabia","institution_ids":["https://openalex.org/I185163786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006764237","display_name":"Dan You","orcid":"https://orcid.org/0000-0001-9088-9672"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dan You","raw_affiliation_strings":["School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071962721","display_name":"Abdullah Abusorrah","orcid":"https://orcid.org/0000-0001-8025-0453"},"institutions":[{"id":"https://openalex.org/I185163786","display_name":"King Abdulaziz University","ror":"https://ror.org/02ma4wv74","country_code":"SA","type":"education","lineage":["https://openalex.org/I185163786"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Abdullah Abusorrah","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Faculty of Engineering, K. A. CARE Energy Research and Innovation Center, and Center of Research Excellence in Renewable Energy and Power Systems, King Abdulaziz University, Jeddah, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Faculty of Engineering, K. A. CARE Energy Research and Innovation Center, and Center of Research Excellence in Renewable Energy and Power Systems, King Abdulaziz University, Jeddah, Saudi Arabia","institution_ids":["https://openalex.org/I185163786"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5033428699"],"corresponding_institution_ids":["https://openalex.org/I75059550"],"apc_list":null,"apc_paid":null,"fwci":3.6197,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.93787531,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"53","issue":"1","first_page":"191","last_page":"203"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9150326251983643},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.9057605862617493},{"id":"https://openalex.org/keywords/siphon","display_name":"Siphon (mollusc)","score":0.7875187993049622},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.763276219367981},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7128650546073914},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7123234272003174},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.6232559680938721},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5879204273223877},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5630033016204834},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.5467119216918945},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5004394054412842},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.488016277551651},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.44001662731170654},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4343375861644745},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.42971962690353394},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4236096143722534},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4126018285751343},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40081074833869934},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2838394045829773},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2243412733078003},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18616440892219543},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12372449040412903},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1093885600566864},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09867748618125916}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9150326251983643},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.9057605862617493},{"id":"https://openalex.org/C163629137","wikidata":"https://www.wikidata.org/wiki/Q1276903","display_name":"Siphon (mollusc)","level":2,"score":0.7875187993049622},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.763276219367981},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7128650546073914},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7123234272003174},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.6232559680938721},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5879204273223877},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5630033016204834},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.5467119216918945},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5004394054412842},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.488016277551651},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.44001662731170654},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4343375861644745},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.42971962690353394},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4236096143722534},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4126018285751343},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40081074833869934},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2838394045829773},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2243412733078003},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18616440892219543},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12372449040412903},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1093885600566864},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09867748618125916},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2022.3174421","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2022.3174421","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3363895415","display_name":null,"funder_award_id":"D-60-135-1442","funder_id":"https://openalex.org/F4320322322","funder_display_name":"King Abdulaziz University"},{"id":"https://openalex.org/G6393908262","display_name":null,"funder_award_id":"LQ20F020009","funder_id":"https://openalex.org/F4320338464","funder_display_name":"Natural Science Foundation of Zhejiang Province"}],"funders":[{"id":"https://openalex.org/F4320322322","display_name":"King Abdulaziz University","ror":"https://ror.org/02ma4wv74"},{"id":"https://openalex.org/F4320338464","display_name":"Natural Science Foundation of Zhejiang Province","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W1496620875","https://openalex.org/W1504928013","https://openalex.org/W1572060549","https://openalex.org/W1925800244","https://openalex.org/W1963940109","https://openalex.org/W1996109622","https://openalex.org/W2001822592","https://openalex.org/W2005217875","https://openalex.org/W2010353902","https://openalex.org/W2011008463","https://openalex.org/W2024623468","https://openalex.org/W2037933704","https://openalex.org/W2039148441","https://openalex.org/W2045940440","https://openalex.org/W2053369452","https://openalex.org/W2067554631","https://openalex.org/W2072304766","https://openalex.org/W2089545832","https://openalex.org/W2089870759","https://openalex.org/W2098899007","https://openalex.org/W2099584921","https://openalex.org/W2104367108","https://openalex.org/W2105435021","https://openalex.org/W2108678912","https://openalex.org/W2109692480","https://openalex.org/W2109787297","https://openalex.org/W2110169180","https://openalex.org/W2114399731","https://openalex.org/W2119361484","https://openalex.org/W2126163520","https://openalex.org/W2132355828","https://openalex.org/W2140444941","https://openalex.org/W2140872435","https://openalex.org/W2143665444","https://openalex.org/W2144525166","https://openalex.org/W2144623944","https://openalex.org/W2165406169","https://openalex.org/W2310250136","https://openalex.org/W2310793150","https://openalex.org/W2344793144","https://openalex.org/W2410422125","https://openalex.org/W2509841691","https://openalex.org/W2515380791","https://openalex.org/W2612806555","https://openalex.org/W2747064651","https://openalex.org/W2766115945","https://openalex.org/W2774592484","https://openalex.org/W2799338570","https://openalex.org/W2884501854","https://openalex.org/W2948851896","https://openalex.org/W2952425394","https://openalex.org/W2965218277","https://openalex.org/W2991570803","https://openalex.org/W3002989136","https://openalex.org/W3004468380","https://openalex.org/W3033481339","https://openalex.org/W3033555834","https://openalex.org/W3036606521","https://openalex.org/W3197552274","https://openalex.org/W4236164983","https://openalex.org/W4250502972"],"related_works":["https://openalex.org/W1867637656","https://openalex.org/W2329232208","https://openalex.org/W1876958756","https://openalex.org/W2340131066","https://openalex.org/W117401069","https://openalex.org/W1904030840","https://openalex.org/W2358822739","https://openalex.org/W2029885248","https://openalex.org/W2145728809","https://openalex.org/W2111221748"],"abstract_inverted_index":{"Resource":[0],"allocation":[1],"systems":[2],"(RASs)":[3],"exist":[4],"in":[5,19,47,104],"various":[6],"fields":[7],"of":[8,22,32,83,131],"modern":[9],"society.":[10],"The":[11],"deadlock":[12,63],"control":[13,20,89],"problem":[14],"is":[15,26,72,102,123],"a":[16,29,45,61,68,80,87,112],"crucial":[17],"issue":[18],"theory":[21],"RAS.":[23],"This":[24,108],"work":[25],"concentrated":[27],"on":[28],"special":[30],"class":[31],"shared":[33],"resource":[34,49],"and":[35,55,86,117,133],"process-oriented":[36],"Petri":[37],"nets":[38],"whose":[39,96],"initial":[40],"marking":[41],"can":[42],"have":[43],"only":[44],"token":[46],"every":[48],"place.":[50],"Using":[51],"mixed-integer":[52],"programming":[53],"(MIP)":[54],"iterative":[56],"siphon":[57,88],"control,":[58],"we":[59],"present":[60],"two-stage":[62],"prevention":[64],"policy.":[65,143],"In":[66],"particular,":[67],"modified":[69],"MIP":[70],"technique":[71],"developed":[73],"for":[74],"the":[75,105,128,134,142],"first":[76],"stage":[77],"to":[78,100,111,140],"compute":[79],"specific":[81],"type":[82],"emptiable":[84],"siphons":[85,132],"method":[90],"introducing":[91],"monitors":[92],"with":[93],"related":[94],"arcs":[95],"weights":[97],"all":[98],"equal":[99],"one":[101],"established":[103],"second":[106],"stage.":[107],"policy":[109],"leads":[110],"maximally":[113],"permissive":[114],"liveness-enforcing":[115],"supervisor":[116],"such":[118],"an":[119],"obtained":[120],"controlled":[121],"net":[122],"ordinary.":[124],"Moreover,":[125],"it":[126],"avoids":[127],"exhaustive":[129],"enumeration":[130],"reachability":[135],"analysis.":[136],"Examples":[137],"are":[138],"provided":[139],"explain":[141]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-02T15:55:50.835912","created_date":"2025-10-10T00:00:00"}