{"id":"https://openalex.org/W2942338997","doi":"https://doi.org/10.1109/access.2019.2906324","title":"A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis","display_name":"A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2942338997","doi":"https://doi.org/10.1109/access.2019.2906324","mag":"2942338997"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2906324","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2906324","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08693745.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08693745.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114339823","display_name":"Wei Duan","orcid":"https://orcid.org/0009-0007-5169-964X"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Duan","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101411300","display_name":"Chunfu Zhong","orcid":"https://orcid.org/0000-0003-3068-7221"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunfu Zhong","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-3068-7221","affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100388977","display_name":"Xiang Wang","orcid":"https://orcid.org/0000-0001-6144-9301"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Wang","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045185353","display_name":"Ateekh Ur Rehman","orcid":"https://orcid.org/0000-0003-2265-5828"},"institutions":[{"id":"https://openalex.org/I28022161","display_name":"King Saud University","ror":"https://ror.org/02f81g417","country_code":"SA","type":"education","lineage":["https://openalex.org/I28022161"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Ateekh Ur Rehman","raw_affiliation_strings":["Department of Industrial Engineering, King Saud University, Riyadh, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0003-2265-5828","affiliations":[{"raw_affiliation_string":"Department of Industrial Engineering, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065425358","display_name":"Usama Umer","orcid":"https://orcid.org/0000-0001-8715-7905"},"institutions":[{"id":"https://openalex.org/I28022161","display_name":"King Saud University","ror":"https://ror.org/02f81g417","country_code":"SA","type":"education","lineage":["https://openalex.org/I28022161"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Usama Umer","raw_affiliation_strings":["Advance Manufacturing Institute, King Saud University, Riyadh, Saudi Arabia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advance Manufacturing Institute, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090664309","display_name":"Naiqi Wu","orcid":"https://orcid.org/0000-0001-6782-458X"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Naiqi Wu","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Macau, China"],"raw_orcid":"https://orcid.org/0000-0001-6782-458X","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.415,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.83331483,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"7","issue":null,"first_page":"49362","last_page":"49376"},"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.9952999949455261,"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.8627407550811768},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6456332206726074},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.6369103789329529},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.621626615524292},{"id":"https://openalex.org/keywords/siphon","display_name":"Siphon (mollusc)","score":0.5905504822731018},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5013992786407471},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4578569829463959},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4395883083343506},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.43697747588157654},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.43172362446784973},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.42417997121810913},{"id":"https://openalex.org/keywords/iterative-method","display_name":"Iterative method","score":0.4220777153968811},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3962858319282532},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.39241984486579895},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33559876680374146},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3308996856212616},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28723961114883423},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2697190046310425},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25253546237945557},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.14029550552368164}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8627407550811768},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6456332206726074},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.6369103789329529},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.621626615524292},{"id":"https://openalex.org/C163629137","wikidata":"https://www.wikidata.org/wiki/Q1276903","display_name":"Siphon (mollusc)","level":2,"score":0.5905504822731018},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5013992786407471},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4578569829463959},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4395883083343506},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.43697747588157654},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.43172362446784973},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.42417997121810913},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.4220777153968811},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3962858319282532},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.39241984486579895},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33559876680374146},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3308996856212616},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28723961114883423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2697190046310425},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25253546237945557},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.14029550552368164},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2019.2906324","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2906324","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08693745.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:6dfa2e04a7f94215a3a0e7dcbf020d07","is_oa":true,"landing_page_url":"https://doaj.org/article/6dfa2e04a7f94215a3a0e7dcbf020d07","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 49362-49376 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2906324","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2906324","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08693745.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1758554163","display_name":null,"funder_award_id":"61603285","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3363774619","display_name":null,"funder_award_id":"61873342","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G37320044","display_name":null,"funder_award_id":"51305325","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4097747384","display_name":null,"funder_award_id":"61472295","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4518727323","display_name":null,"funder_award_id":"122/2017/","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8217435162","display_name":null,"funder_award_id":"RG-1439-005","funder_id":"https://openalex.org/F4320321145","funder_display_name":"King Saud University"},{"id":"https://openalex.org/G869708400","display_name":null,"funder_award_id":"106/2016/A3","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/F4320321145","display_name":"King Saud University","ror":"https://ror.org/02f81g417"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2942338997.pdf","grobid_xml":"https://content.openalex.org/works/W2942338997.grobid-xml"},"referenced_works_count":75,"referenced_works":["https://openalex.org/W614929447","https://openalex.org/W1529322482","https://openalex.org/W1546456762","https://openalex.org/W1751549213","https://openalex.org/W1915570783","https://openalex.org/W1962985716","https://openalex.org/W1965215820","https://openalex.org/W1976357915","https://openalex.org/W1980233554","https://openalex.org/W1996109622","https://openalex.org/W2002235729","https://openalex.org/W2005217875","https://openalex.org/W2022250047","https://openalex.org/W2035556324","https://openalex.org/W2041853864","https://openalex.org/W2048456685","https://openalex.org/W2060084509","https://openalex.org/W2062441999","https://openalex.org/W2066149049","https://openalex.org/W2076665553","https://openalex.org/W2086414784","https://openalex.org/W2089545832","https://openalex.org/W2090233342","https://openalex.org/W2092893907","https://openalex.org/W2098899007","https://openalex.org/W2110169180","https://openalex.org/W2113418311","https://openalex.org/W2126163520","https://openalex.org/W2135886503","https://openalex.org/W2136749565","https://openalex.org/W2140872435","https://openalex.org/W2144623944","https://openalex.org/W2145070257","https://openalex.org/W2146738006","https://openalex.org/W2163839607","https://openalex.org/W2165321755","https://openalex.org/W2165406169","https://openalex.org/W2165594843","https://openalex.org/W2284540796","https://openalex.org/W2310250136","https://openalex.org/W2342897103","https://openalex.org/W2344326925","https://openalex.org/W2345051373","https://openalex.org/W2403044140","https://openalex.org/W2410422125","https://openalex.org/W2461900131","https://openalex.org/W2511769035","https://openalex.org/W2523482717","https://openalex.org/W2528134256","https://openalex.org/W2536985169","https://openalex.org/W2538443008","https://openalex.org/W2558815275","https://openalex.org/W2580382314","https://openalex.org/W2594563654","https://openalex.org/W2594774104","https://openalex.org/W2613548800","https://openalex.org/W2614826960","https://openalex.org/W2735669400","https://openalex.org/W2737731249","https://openalex.org/W2740263124","https://openalex.org/W2741060909","https://openalex.org/W2765202909","https://openalex.org/W2773002878","https://openalex.org/W2778769681","https://openalex.org/W2783183134","https://openalex.org/W2799338570","https://openalex.org/W2800404248","https://openalex.org/W2884404272","https://openalex.org/W2894979619","https://openalex.org/W2896112909","https://openalex.org/W2905463492","https://openalex.org/W2906830113","https://openalex.org/W6747174188","https://openalex.org/W6750909199","https://openalex.org/W6757605570"],"related_works":["https://openalex.org/W2006107704","https://openalex.org/W2045940297","https://openalex.org/W153779636","https://openalex.org/W1535416861","https://openalex.org/W1904030840","https://openalex.org/W2116674061","https://openalex.org/W2552031328","https://openalex.org/W2165594843","https://openalex.org/W2144623944","https://openalex.org/W1876958756"],"abstract_inverted_index":{"This":[0],"paper":[1,218],"derives":[2],"an":[3,42,119,151,193,233],"iterative":[4,152],"deadlock":[5],"prevention":[6],"policy":[7],"for":[8,101,184],"systems":[9],"of":[10,27,64],"simple":[11],"sequential":[12],"processes":[13],"with":[14,60,223],"resources":[15],"(S":[16],"<sup":[17,44,121],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[18,45,122],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">3</sup>":[19,46],"PRs)":[20],"based":[21,211],"on":[22,212],"structural":[23],"analysis,":[24],"which":[25,67,95],"consists":[26],"two":[28,215],"stages.":[29],"The":[30,73,141,196],"first":[31],"stage":[32,251],"is":[33,116,129,148,157,171,182,198,252],"called":[34,125,144],"siphons":[35,39,146],"control.":[36],"Strict":[37],"minimal":[38],"(SMSs)":[40],"in":[41,91,150,192],"S":[43,120],"PR":[47],"net":[48,113,203,242],"are":[49,54,77,85,258],"computed":[50],"and":[51,79,178],"control":[52,83,99,135,180],"places":[53,76,84,100,136],"added":[55,82,134,183],"by":[56,131],"imposing":[57],"P-invariants":[58],"associated":[59],"the":[61,65,80,126,138,155,185,188,213,229,249,262],"complementary":[62],"sets":[63],"SMSs,":[66],"restricts":[68],"no":[69,205,244],"legal":[70],"system":[71,156],"behavior.":[72],"original":[74,139],"resource":[75,88],"removed":[78],"newly":[81],"regarded":[86],"as":[87],"places,":[89],"resulting":[90,191],"a":[92,111,164,175,179,201,221,240],"new":[93,112,206],"net,":[94,128,190],"needs":[96],"to":[97,173,187,228,260],"add":[98],"its":[102],"SMSs":[103,115],"if":[104,154,239],"deadlocks":[105],"persist.":[106],"Repeat":[107],"this":[108,217],"step":[109],"until":[110,200],"without":[114],"obtained.":[117],"Then,":[118],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">4</sup>":[123],"PR,":[124],"first-controlled":[127,189,241],"obtained":[130],"integrating":[132],"all":[133],"into":[137],"net.":[140,195],"second":[142,250],"stage,":[143],"non-max-marked":[145,176,207,245],"control,":[147],"performed":[149],"way":[153],"not":[158,253],"live":[159],"yet.":[160],"At":[161],"each":[162],"iteration,":[163],"mixed":[165],"integer":[166],"linear":[167],"programming":[168],"(MILP)":[169],"problem":[170],"formulated":[172],"compute":[174],"siphon,":[177,246],"place":[181],"siphon":[186],"augmented":[194],"iteration":[197],"executed":[199],"final-augmented":[202],"generates":[204],"siphon.":[208],"In":[209],"general,":[210],"above":[214],"stages,":[216],"can":[219,236],"obtain":[220],"supervisor":[222,235],"more":[224],"behavior":[225],"permissiveness":[226],"compared":[227],"previous":[230],"studies.":[231],"Moreover,":[232],"optimal":[234],"be":[237],"found":[238],"has":[243],"implying":[247],"that":[248],"necessary.":[254],"Finally,":[255],"some":[256],"examples":[257],"provided":[259],"demonstrate":[261],"proposed":[263],"policy.":[264]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}