{"id":"https://openalex.org/W2014844714","doi":"https://doi.org/10.1109/coase.2012.6386305","title":"Two-stage deadlock prevention policy based on resource-transition circuits","display_name":"Two-stage deadlock prevention policy based on resource-transition circuits","publication_year":2012,"publication_date":"2012-08-01","ids":{"openalex":"https://openalex.org/W2014844714","doi":"https://doi.org/10.1109/coase.2012.6386305","mag":"2014844714"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2012.6386305","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2012.6386305","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5107677414","display_name":"Libin Han","orcid":null},"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":"Libin Han","raw_affiliation_strings":["State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xian Jiaotong University, Xian, China","State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xi'an Jiaotong University, 710049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xian Jiaotong University, Xian, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xi'an Jiaotong University, 710049, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","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":["State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xian Jiaotong University, Xian, China","State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xi'an Jiaotong University, 710049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xian Jiaotong University, Xian, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xi'an Jiaotong University, 710049, 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","Dept. of Electrical & Computer Engineering, New Jersey Institute of Technology, Newark, 07102, USA"],"raw_orcid":null,"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":"Dept. of Electrical & Computer Engineering, New Jersey Institute of Technology, Newark, 07102, USA","institution_ids":["https://openalex.org/I118118575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100641505","display_name":"Huixia Liu","orcid":"https://orcid.org/0000-0001-9280-0096"},"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":"Huixia Liu","raw_affiliation_strings":["State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xian Jiaotong University, Xian, China","State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xi'an Jiaotong University, 710049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xian Jiaotong University, Xian, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xi'an Jiaotong University, 710049, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100612013","display_name":"Feng Wang","orcid":"https://orcid.org/0000-0002-5070-8942"},"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 Wang","raw_affiliation_strings":["State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xian Jiaotong University, Xian, China","State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xi'an Jiaotong University, 710049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xian Jiaotong University, Xian, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering and Systems Engineering Institute, Xi'an Jiaotong University, 710049, China","institution_ids":["https://openalex.org/I87445476"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8575,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.67504548,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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":0.9998999834060669,"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.9957000017166138,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9872000217437744,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8572704792022705},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.7382376790046692},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7136467695236206},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.6882139444351196},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.6760944128036499},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5833062529563904},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.5601518750190735},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4528067111968994},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4480387568473816},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.33072805404663086},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3207436203956604},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2556050419807434},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.08894422650337219},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.08223491907119751},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.05062398314476013}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8572704792022705},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.7382376790046692},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7136467695236206},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.6882139444351196},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.6760944128036499},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5833062529563904},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5601518750190735},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4528067111968994},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4480387568473816},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.33072805404663086},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3207436203956604},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2556050419807434},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.08894422650337219},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.08223491907119751},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.05062398314476013},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coase.2012.6386305","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2012.6386305","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W627911362","https://openalex.org/W2060084509","https://openalex.org/W2098899007","https://openalex.org/W2108678912","https://openalex.org/W2126163520","https://openalex.org/W2132355828","https://openalex.org/W2140872435","https://openalex.org/W2144623944","https://openalex.org/W2146738006","https://openalex.org/W2147281200","https://openalex.org/W2165406169","https://openalex.org/W6620144039"],"related_works":["https://openalex.org/W3161493205","https://openalex.org/W1867637656","https://openalex.org/W1904030840","https://openalex.org/W153779636","https://openalex.org/W2329232208","https://openalex.org/W2552031328","https://openalex.org/W2144623944","https://openalex.org/W2141563078","https://openalex.org/W1679355703","https://openalex.org/W3083862868"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,8,126],"suboptimal":[4],"deadlock":[5,113,123],"controller":[6,31,140,160],"for":[7,94],"class":[9],"of":[10,13,33,67,100,152,162,169],"manufacturing":[11],"systems":[12],"sequential":[14],"processes":[15],"with":[16,78,118],"resources,":[17],"where":[18],"deadlocks":[19,82],"are":[20,52],"characterized":[21],"by":[22],"saturated":[23],"maximal":[24,102],"perfect":[25,103],"resource-transition":[26],"circuits":[27,105],"(MPRT-circuits),":[28],"and":[29,60],"the":[30,37,64,75,79,86,95,98,101,112,115,119,132,149,159,167,170],"consists":[32],"two":[34,163],"parts.":[35],"In":[36,74],"maximally":[38],"permissive":[39],"Petri":[40,138],"net":[41,139],"controller,":[42,69,71,81],"which":[43,107],"avoids":[44],"all":[45,56,143],"MPRT-circuits":[46],"being":[47,146],"saturated,":[48],"some":[49,129],"control":[50,58],"places":[51,59],"redundant.":[53],"By":[54],"deleting":[55],"redundant":[57],"their":[61],"related":[62],"arcs,":[63],"first":[65,96],"part":[66,151],"our":[68,153],"non-redundant":[70,80,120],"is":[72,108,148,156],"obtained.":[73],"controlled":[76,116,133,171],"system":[77,87,117,134],"may":[83],"occur":[84],"if":[85],"contains":[88],"crucial":[89],"resources.":[90],"Then":[91],"we":[92],"propose":[93],"time":[97],"concept":[99],"control-transition":[104],"(MPCT-circuits),":[106],"used":[109],"to":[110,141],"characterize":[111],"in":[114,131],"controller.":[121,154],"When":[122],"occurs":[124],"under":[125],"reachable":[127],"marking,":[128],"MPCT-circuits":[130,144],"become":[135],"empty.":[136],"The":[137],"prevent":[142],"from":[145],"empty":[147],"second":[150],"It":[155],"proved":[157],"that":[158],"consisting":[161],"parts":[164],"can":[165],"guarantee":[166],"liveness":[168],"system.":[172]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}