{"id":"https://openalex.org/W2029885248","doi":"https://doi.org/10.1109/icsmc.2012.6377893","title":"Using theory of regions with selective siphon control for deadlock prevention policy in Petri nets","display_name":"Using theory of regions with selective siphon control for deadlock prevention policy in Petri nets","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W2029885248","doi":"https://doi.org/10.1109/icsmc.2012.6377893","mag":"2029885248"},"language":"en","primary_location":{"id":"doi:10.1109/icsmc.2012.6377893","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2012.6377893","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 Systems, Man, and Cybernetics (SMC)","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/A5024857435","display_name":"Yen\u2010Liang Pan","orcid":"https://orcid.org/0000-0002-4111-9564"},"institutions":[{"id":"https://openalex.org/I2802777525","display_name":"R.O.C Military Academy","ror":"https://ror.org/02xcgb468","country_code":"TW","type":"government","lineage":["https://openalex.org/I2802777525"]},{"id":"https://openalex.org/I430641","display_name":"United States Air Force Academy","ror":"https://ror.org/0055d0g64","country_code":"US","type":"government","lineage":["https://openalex.org/I1330347796","https://openalex.org/I4210089612","https://openalex.org/I4210102105","https://openalex.org/I430641"]}],"countries":["TW","US"],"is_corresponding":false,"raw_author_name":"Yen-Liang Pan","raw_affiliation_strings":["Department of Avionic Engineering, Air Force Academy, Kaohsiung, Taiwan","Department of Avionic Engineering, Air Force Academy, Kaohsiung, 820 Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Avionic Engineering, Air Force Academy, Kaohsiung, Taiwan","institution_ids":["https://openalex.org/I2802777525"]},{"raw_affiliation_string":"Department of Avionic Engineering, Air Force Academy, Kaohsiung, 820 Taiwan","institution_ids":["https://openalex.org/I430641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101535096","display_name":"Yi\u2010Sheng Huang","orcid":"https://orcid.org/0000-0001-8800-322X"},"institutions":[{"id":"https://openalex.org/I75430998","display_name":"National Ilan University","ror":"https://ror.org/01npf0s58","country_code":"TW","type":"education","lineage":["https://openalex.org/I75430998"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yi-Sheng Huang","raw_affiliation_strings":["Department of Electrical Engineering, National Ilan University, Taiwan","Department of Electrical Engineering, National ILan University, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Ilan University, Taiwan","institution_ids":["https://openalex.org/I75430998"]},{"raw_affiliation_string":"Department of Electrical Engineering, National ILan University, Taiwan","institution_ids":["https://openalex.org/I75430998"]}]},{"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"]}],"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, Taiwan#TAB#"],"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, Taiwan#TAB#","institution_ids":["https://openalex.org/I153512688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102729129","display_name":"Sheng\u2010Luen Chung","orcid":"https://orcid.org/0000-0003-0326-6448"},"institutions":[{"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":"Sheng-Luen Chung","raw_affiliation_strings":["Department of Electrical Engineering, National Taiwan University of Science and Technology, Taiwan","Department of Electrical Engineering, National Taiwan, University of Science and Technology, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan University of Science and Technology, Taiwan","institution_ids":["https://openalex.org/I154864474"]},{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan, University of Science and Technology, Taiwan","institution_ids":["https://openalex.org/I154864474"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"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":"19","issue":null,"first_page":"1189","last_page":"1194"},"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.9908999800682068,"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.9887999892234802,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9261875152587891},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.8921695351600647},{"id":"https://openalex.org/keywords/siphon","display_name":"Siphon (mollusc)","score":0.872137725353241},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8388319611549377},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.8334784507751465},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6581587791442871},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5416325926780701},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45076310634613037},{"id":"https://openalex.org/keywords/graph-theory","display_name":"Graph theory","score":0.4308871328830719},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.32506051659584045},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2789805829524994},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16022393107414246}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9261875152587891},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.8921695351600647},{"id":"https://openalex.org/C163629137","wikidata":"https://www.wikidata.org/wiki/Q1276903","display_name":"Siphon (mollusc)","level":2,"score":0.872137725353241},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8388319611549377},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.8334784507751465},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6581587791442871},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5416325926780701},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45076310634613037},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.4308871328830719},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.32506051659584045},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2789805829524994},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16022393107414246},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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/icsmc.2012.6377893","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2012.6377893","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 Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W332683046","https://openalex.org/W1480802853","https://openalex.org/W1986055061","https://openalex.org/W2002468135","https://openalex.org/W2014742647","https://openalex.org/W2042312589","https://openalex.org/W2053369452","https://openalex.org/W2057517450","https://openalex.org/W2059057465","https://openalex.org/W2086214203","https://openalex.org/W2098899007","https://openalex.org/W2099584921","https://openalex.org/W2103198692","https://openalex.org/W2104367108","https://openalex.org/W2110169180","https://openalex.org/W2122471000","https://openalex.org/W2140872435","https://openalex.org/W2146738006","https://openalex.org/W2147281200","https://openalex.org/W2155682070","https://openalex.org/W2160376434","https://openalex.org/W2165406169","https://openalex.org/W2165594843","https://openalex.org/W2310250136","https://openalex.org/W2310793150","https://openalex.org/W4285719527","https://openalex.org/W6635727044"],"related_works":["https://openalex.org/W2019557020","https://openalex.org/W1876958756","https://openalex.org/W2045363093","https://openalex.org/W1904030840","https://openalex.org/W4361186044","https://openalex.org/W117401069","https://openalex.org/W2029885248","https://openalex.org/W2145728809","https://openalex.org/W2999501513","https://openalex.org/W2369376749"],"abstract_inverted_index":{"Deadlock":[0],"prevention":[1,50],"policies":[2],"are":[3,62,81,103],"used":[4,72],"to":[5,73,93,98,124],"solve":[6],"the":[7,19,30,36,47,110,120],"deadlock":[8,49],"problems":[9],"of":[10,14,53,79,129],"FMSs.":[11],"The":[12],"theory":[13],"regions":[15],"is":[16,44,57,71,119],"recognized":[17],"as":[18],"unique":[20],"method":[21,42,70],"for":[22],"obtaining":[23],"maximally":[24],"permissive":[25,127],"(i.e.,":[26],"optimal)":[27],"controllers":[28,102],"in":[29,46],"existing":[31],"literature.":[32],"In":[33],"this":[34],"paper,":[35],"selective":[37,65,85,96],"siphons":[38,66],"and":[39,67],"critical":[40,68],"markings":[41,69,78],"[17]":[43],"merged":[45],"new":[48],"policy.":[51],"First":[52],"all,":[54],"reachability":[55],"graph":[56],"still":[58],"needed.":[59],"Second,":[60],"CMTSIs":[61,80],"identified.":[63],"Further,":[64],"check":[74],"if":[75],"all":[76],"dead/quasi-dead":[77],"covered":[82],"by":[83],"these":[84],"siphons.":[86],"Furthermore,":[87],"choose":[88],"anyone":[89],"CMTSI":[90],"that":[91,109],"belongs":[92],"a":[94],"same":[95],"siphon":[97],"be":[99,114],"processed.":[100],"Finally,":[101],"therefore":[104],"obtained.":[105],"Experimental":[106],"results":[107],"indicate":[108],"computational":[111],"cost":[112],"can":[113],"reduced":[115],"again.":[116],"Besides,":[117],"it":[118],"most":[121],"efficient":[122],"policy":[123],"obtain":[125],"maximal":[126],"behavior":[128],"Petri":[130],"net":[131],"models.":[132]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}