{"id":"https://openalex.org/W3007418408","doi":"https://doi.org/10.1109/tsmc.2020.2971455","title":"Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S<sup>4</sup>PR","display_name":"Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S<sup>4</sup>PR","publication_year":2020,"publication_date":"2020-02-20","ids":{"openalex":"https://openalex.org/W3007418408","doi":"https://doi.org/10.1109/tsmc.2020.2971455","mag":"3007418408"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2020.2971455","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2020.2971455","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/A5033995377","display_name":"Yanxiang Feng","orcid":"https://orcid.org/0000-0002-2268-2570"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yanxiang Feng","raw_affiliation_strings":["Department of Computer Science and Technology, Xi\u2019an Jiaotong University, Xi\u2019an, China","State Key Laboratory for Manufacturing Systems Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","Department of Computer Science and Technology, Xi'an Jiaotong University, Xi'an, China","State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"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"]}],"countries":["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"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013725152","display_name":"Feng Tian","orcid":"https://orcid.org/0000-0001-7888-0587"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feng Tian","raw_affiliation_strings":["Department of Computer Science and Technology, Xi\u2019an Jiaotong University, Xi\u2019an, China","State Key Laboratory for Manufacturing Systems Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","Department of Computer Science and Technology, Xi'an Jiaotong University, Xi'an, China","State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043647130","display_name":"Chao\u2010Bo Yan","orcid":"https://orcid.org/0000-0002-6396-0610"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chao-Bo Yan","raw_affiliation_strings":["School of Electronic and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","State Key Laboratory for Manufacturing Systems Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an, China","State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"School of Electronic and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071638530","display_name":"Keyi Xing","orcid":"https://orcid.org/0000-0002-9843-7467"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Keyi Xing","raw_affiliation_strings":["School of Electronic and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","State Key Laboratory for Manufacturing Systems Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, China","School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"School of Electronic and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5033995377"],"corresponding_institution_ids":["https://openalex.org/I87445476"],"apc_list":null,"apc_paid":null,"fwci":1.3006,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.84422578,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"51","issue":"12","first_page":"7403","last_page":"7412"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9948999881744385,"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.7436230182647705},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7084941267967224},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.580733597278595},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5612803101539612},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5479968190193176},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.4741872251033783},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45014387369155884},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.42030495405197144},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32295751571655273},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25681179761886597},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18358173966407776},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.1588417887687683}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7436230182647705},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7084941267967224},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.580733597278595},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5612803101539612},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5479968190193176},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.4741872251033783},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45014387369155884},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.42030495405197144},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32295751571655273},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25681179761886597},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18358173966407776},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.1588417887687683},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2020.2971455","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2020.2971455","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/G2318757488","display_name":null,"funder_award_id":"ZR2018MF024","funder_id":"https://openalex.org/F4320324174","funder_display_name":"Natural Science Foundation of Shandong Province"},{"id":"https://openalex.org/G2387968756","display_name":null,"funder_award_id":"61603294","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2769032636","display_name":null,"funder_award_id":"61877048","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G400734250","display_name":null,"funder_award_id":"61304052","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5410492872","display_name":null,"funder_award_id":"61573278","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"},{"id":"https://openalex.org/F4320324174","display_name":"Natural Science Foundation of Shandong Province","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W634312912","https://openalex.org/W865203889","https://openalex.org/W1971995298","https://openalex.org/W1976357915","https://openalex.org/W2001822592","https://openalex.org/W2039148441","https://openalex.org/W2041853864","https://openalex.org/W2049695585","https://openalex.org/W2060084509","https://openalex.org/W2072304766","https://openalex.org/W2085119635","https://openalex.org/W2091571939","https://openalex.org/W2099550549","https://openalex.org/W2109692480","https://openalex.org/W2119682732","https://openalex.org/W2132355828","https://openalex.org/W2137726930","https://openalex.org/W2140444941","https://openalex.org/W2140872435","https://openalex.org/W2144623944","https://openalex.org/W2146738006","https://openalex.org/W2150974097","https://openalex.org/W2265436075","https://openalex.org/W2283668265","https://openalex.org/W2316519055","https://openalex.org/W2409622432","https://openalex.org/W2410422125","https://openalex.org/W2594563654","https://openalex.org/W2605051396","https://openalex.org/W2767893948","https://openalex.org/W2778769681","https://openalex.org/W2799338570","https://openalex.org/W2897405579","https://openalex.org/W2907604798","https://openalex.org/W2911666397","https://openalex.org/W2927871608","https://openalex.org/W2946439073","https://openalex.org/W4285719527","https://openalex.org/W4300784260"],"related_works":["https://openalex.org/W2045940297","https://openalex.org/W1904030840","https://openalex.org/W2775194234","https://openalex.org/W153779636","https://openalex.org/W2144623944","https://openalex.org/W2552031328","https://openalex.org/W2141563078","https://openalex.org/W3083862868","https://openalex.org/W2025827957","https://openalex.org/W2153540690"],"abstract_inverted_index":{"This":[0],"article":[1],"focuses":[2],"on":[3,144],"the":[4,17,134,137,145,148],"problem":[5],"of":[6,26,30,136],"deadlock":[7,138],"for":[8,16,101],"sequential":[9,31],"automated":[10],"manufacturing":[11],"systems":[12,29,32],"(AMSs)":[13],"that":[14,53,96,107],"allow":[15],"general":[18],"resource":[19],"allocation":[20],"and":[21,81,119],"flexible":[22],"routings.":[23],"A":[24],"class":[25],"Petri":[27],"nets,":[28],"with":[33],"shared":[34],"resources":[35],"(S":[36],"<sup":[37,57,123],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[38,58,124],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">4</sup>":[39,59,125],"PR),":[40],"are":[41,61,127],"used":[42],"to":[43,88,105],"model":[44],"these":[45],"considered":[46],"AMSs.":[47],"Our":[48],"previous":[49],"work":[50],"has":[51],"showed":[52],"deadlocks":[54,120],"in":[55,121],"S":[56,122],"PR":[60,126],"characterized":[62],"by":[63,97,153],"saturated":[64,117],"perfect":[65],"activity-circuit":[66],"(PA-circuit).":[67],"In":[68],"this":[69],"article,":[70],"we":[71],"divide":[72],"all":[73,90,112],"saturable":[74,92],"PA-circuits":[75,114],"into":[76],"two":[77],"categories:":[78],"1)":[79],"dependent":[80,113],"2)":[82],"independent.":[83],"An":[84],"algorithm":[85],"is":[86,109,151],"proposed":[87,149],"compute":[89],"independent":[91,103],"PA-circuits.":[93],"We":[94],"prove":[95],"adding":[98],"a":[99],"monitor":[100],"each":[102],"PA-circuit":[104],"ensure":[106],"it":[108],"not":[110],"saturated,":[111],"cannot":[115],"be":[116],"either":[118],"successfully":[128],"prevented.":[129],"The":[130],"presented":[131],"method":[132],"simplifies":[133],"structure":[135],"controller":[139,150],"without":[140],"imposing":[141],"tight":[142],"constraints":[143],"system.":[146],"Finally,":[147],"illustrated":[152],"some":[154],"examples.":[155]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":5}],"updated_date":"2026-04-12T07:58:50.170612","created_date":"2025-10-10T00:00:00"}