{"id":"https://openalex.org/W2002468135","doi":"https://doi.org/10.1109/icsmc.2010.5641670","title":"Enhancement of an deadlock prevention policy for FMSs using theory of regions","display_name":"Enhancement of an deadlock prevention policy for FMSs using theory of regions","publication_year":2010,"publication_date":"2010-10-01","ids":{"openalex":"https://openalex.org/W2002468135","doi":"https://doi.org/10.1109/icsmc.2010.5641670","mag":"2002468135"},"language":"en","primary_location":{"id":"doi:10.1109/icsmc.2010.5641670","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2010.5641670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International Conference on Systems, Man and Cybernetics","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/A5101535096","display_name":"Yi\u2010Sheng Huang","orcid":"https://orcid.org/0000-0001-8800-322X"},"institutions":[{"id":"https://openalex.org/I4210094862","display_name":"National Defense University","ror":"https://ror.org/00hkj1v53","country_code":"TW","type":"education","lineage":["https://openalex.org/I4210094862"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yi-Sheng Huang","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, Taiwan","Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, 335 Taiwan, R.O.C"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, Taiwan","institution_ids":["https://openalex.org/I4210094862"]},{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, 335 Taiwan, R.O.C","institution_ids":["https://openalex.org/I4210094862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024857435","display_name":"Yen\u2010Liang Pan","orcid":"https://orcid.org/0000-0002-4111-9564"},"institutions":[{"id":"https://openalex.org/I4210094862","display_name":"National Defense University","ror":"https://ror.org/00hkj1v53","country_code":"TW","type":"education","lineage":["https://openalex.org/I4210094862"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yen-Liang Pan","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, Taiwan","Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, 335 Taiwan, R.O.C"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, Taiwan","institution_ids":["https://openalex.org/I4210094862"]},{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, 335 Taiwan, R.O.C","institution_ids":["https://openalex.org/I4210094862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110189764","display_name":"MuDer Jeng","orcid":null},"institutions":[{"id":"https://openalex.org/I153512688","display_name":"National Taiwan Ocean University","ror":"https://ror.org/03bvvnt49","country_code":"TW","type":"education","lineage":["https://openalex.org/I153512688"]},{"id":"https://openalex.org/I154864474","display_name":"National Taiwan University of Science and Technology","ror":"https://ror.org/00q09pe49","country_code":"TW","type":"education","lineage":["https://openalex.org/I154864474"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Mu-Der Jeng","raw_affiliation_strings":["Department of Electrical Engineering, National Taiwan Ocean University, Taiwan","Department of Electrical Engineering, National Taiwan Ocean University, University of Science and Technology, Taiwan, R.O.C"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan Ocean University, Taiwan","institution_ids":["https://openalex.org/I153512688"]},{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan Ocean University, University of Science and Technology, Taiwan, R.O.C","institution_ids":["https://openalex.org/I153512688","https://openalex.org/I154864474"]}]},{"author_position":"last","author":{"id":null,"display_name":"Po-Lun Chang","orcid":null},"institutions":[{"id":"https://openalex.org/I50519452","display_name":"Lunghwa University of Science and Technology","ror":"https://ror.org/001y2wd07","country_code":"TW","type":"education","lineage":["https://openalex.org/I50519452"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Po-Lun Chang","raw_affiliation_strings":["Department of Electrical Engineering, Lunghwa University of Science and Technology, Taiwan","Department of Electrical Engineering, Lung-Hwa, University of Science and Technology, Taiwan, R.O.C"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Lunghwa University of Science and Technology, Taiwan","institution_ids":["https://openalex.org/I50519452"]},{"raw_affiliation_string":"Department of Electrical Engineering, Lung-Hwa, University of Science and Technology, Taiwan, R.O.C","institution_ids":["https://openalex.org/I50519452"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":null,"first_page":"304","last_page":"309"},"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.9955999851226807,"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.9955000281333923,"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.8730242252349854},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7875261306762695},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.7816691398620605},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7237962484359741},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.7124729156494141},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6955093145370483},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4976036846637726},{"id":"https://openalex.org/keywords/permissive","display_name":"Permissive","score":0.4630133807659149},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.34975719451904297},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3450790047645569},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3389142155647278},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26936912536621094},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2347847819328308},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12862429022789001}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8730242252349854},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7875261306762695},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.7816691398620605},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7237962484359741},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.7124729156494141},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6955093145370483},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4976036846637726},{"id":"https://openalex.org/C15224491","wikidata":"https://www.wikidata.org/wiki/Q7169338","display_name":"Permissive","level":2,"score":0.4630133807659149},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.34975719451904297},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3450790047645569},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3389142155647278},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26936912536621094},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2347847819328308},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12862429022789001},{"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},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsmc.2010.5641670","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2010.5641670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International Conference on Systems, Man and Cybernetics","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6499999761581421}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W332683046","https://openalex.org/W1480802853","https://openalex.org/W1574831194","https://openalex.org/W1976252817","https://openalex.org/W1996109622","https://openalex.org/W2014742647","https://openalex.org/W2053369452","https://openalex.org/W2059057465","https://openalex.org/W2104367108","https://openalex.org/W2110169180","https://openalex.org/W2124317738","https://openalex.org/W2147281200","https://openalex.org/W2153752100","https://openalex.org/W2165594843","https://openalex.org/W4285719527","https://openalex.org/W6628831222","https://openalex.org/W6634349435","https://openalex.org/W6635727044","https://openalex.org/W6678561986","https://openalex.org/W6684093921"],"related_works":["https://openalex.org/W2045940297","https://openalex.org/W1904030840","https://openalex.org/W153779636","https://openalex.org/W2552031328","https://openalex.org/W2144623944","https://openalex.org/W3083862868","https://openalex.org/W2141563078","https://openalex.org/W1679355703","https://openalex.org/W2025827957","https://openalex.org/W2153540690"],"abstract_inverted_index":{"The":[0,82,102],"theory":[1],"of":[2,27,49,52,84,126],"regions":[3],"has":[4,43],"been":[5,44],"recognized":[6],"as":[7],"the":[8,28,37,47,65,85,90,110,124,132,136,141],"best":[9],"control":[10,118],"policy":[11,87,139],"for":[12],"obtaining":[13],"a":[14,55,105],"maximally":[15,106],"permissive":[16,107],"controller":[17,108],"in":[18,57,145],"existing":[19,146],"literature.":[20,147],"All":[21],"legal":[22],"and":[23],"live":[24],"maximal":[25],"behavior":[26],"Petri":[29],"nets":[30],"model":[31],"can":[32,93,113],"be":[33,94,114],"held":[34],"by":[35,116,122],"using":[36],"marking/transition-separation":[38,68],"instance":[39,69],"(MTSI)":[40],"method.":[41],"It":[42],"established":[45],"that":[46,89,131],"requirement":[48],"all":[50],"sets":[51],"MTSIs":[53,76,99],"is":[54,88,135],"problem":[56],"conventional":[58],"studies":[59],"stems":[60],"from":[61],"time":[62],"consuming.":[63],"However,":[64],"new":[66],"crucial":[67],"(CMTSIs)":[70],"allows":[71],"designers":[72],"to":[73,77,97],"employ":[74],"few":[75,98],"deal":[78],"with":[79,109],"system":[80],"deadlocks.":[81],"advantage":[83],"proposed":[86],"computational":[91],"cost":[92],"reduced":[95],"due":[96],"involved":[100],"in.":[101],"paper":[103],"unveils":[104],"efficient":[111,138],"computation":[112],"obtained":[115],"our":[117],"policy.":[119],"Experimental":[120],"results,":[121],"varying":[123],"markings":[125],"given":[127],"net":[128],"structures,":[129],"indicate":[130],"CMTSI":[133],"method":[134],"most":[137],"among":[140],"close":[142],"related":[143],"approaches":[144]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}