{"id":"https://openalex.org/W2744333953","doi":"https://doi.org/10.1109/access.2017.2735418","title":"A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems","display_name":"A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2744333953","doi":"https://doi.org/10.1109/access.2017.2735418","mag":"2744333953"},"language":"en","primary_location":{"id":"doi:10.1109/access.2017.2735418","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2017.2735418","pdf_url":null,"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://doi.org/10.1109/access.2017.2735418","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032837589","display_name":"Muhammad Bashir","orcid":"https://orcid.org/0000-0002-9087-9412"},"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":true,"raw_author_name":"Muhammad Bashir","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/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"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"]},{"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","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","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":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]},{"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/A5004568400","display_name":"Murat Uzam","orcid":"https://orcid.org/0000-0001-9625-5523"},"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"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]},{"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":["CN","MO","SA"],"is_corresponding":false,"raw_author_name":"Murat Uzam","raw_affiliation_strings":["FARCAMT Chair, Advanced Manufacturing Institute, King Saud University, Riyadh, Saudi Arabia","Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, China","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":"FARCAMT Chair, Advanced Manufacturing Institute, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]},{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, China","institution_ids":["https://openalex.org/I159948400"]},{"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/A5010993181","display_name":"Abdulrahman Al\u2010Ahmari","orcid":"https://orcid.org/0000-0002-3079-0141"},"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":"Abdulrahman Al-Ahmari","raw_affiliation_strings":["FARCAMT Chair, Advanced Manufacturing Institute, King Saud University, Riyadh, Saudi Arabia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FARCAMT Chair, Advanced Manufacturing Institute, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]},{"author_position":"middle","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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100456725","display_name":"Ding Liu","orcid":"https://orcid.org/0000-0002-0931-1345"},"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":"Ding Liu","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":"last","author":{"id":"https://openalex.org/A5021504878","display_name":"Ting Qu","orcid":"https://orcid.org/0000-0003-1012-2856"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Qu","raw_affiliation_strings":["School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, China","institution_ids":["https://openalex.org/I159948400"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5032837589"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":2.391,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.90074723,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"5","issue":null,"first_page":"15731","last_page":"15749"},"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.9968000054359436,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9656966328620911},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9280457496643066},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7733086347579956},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.749433159828186},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7208271622657776},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.574364423751831},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5739076733589172},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.550634503364563},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.49861621856689453},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4664195477962494},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.4543913006782532},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3386189937591553},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3250378966331482},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3036777973175049},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20939594507217407},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1306963860988617},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11412918567657471}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9656966328620911},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9280457496643066},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7733086347579956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.749433159828186},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7208271622657776},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.574364423751831},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5739076733589172},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.550634503364563},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.49861621856689453},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4664195477962494},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.4543913006782532},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3386189937591553},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3250378966331482},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3036777973175049},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20939594507217407},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1306963860988617},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11412918567657471},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2017.2735418","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2017.2735418","pdf_url":null,"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:62682c8cf79e498ba772bd158db0380d","is_oa":true,"landing_page_url":"https://doaj.org/article/62682c8cf79e498ba772bd158db0380d","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 5, Pp 15731-15749 (2017)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2017.2735418","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2017.2735418","pdf_url":null,"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":[{"display_name":"Reduced inequalities","score":0.7799999713897705,"id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G159186255","display_name":null,"funder_award_id":"078/2015/A3","funder_id":"https://openalex.org/F4320323893","funder_display_name":"Fundo para o Desenvolvimento das Ci\u00eancias e da Tecnologia"},{"id":"https://openalex.org/G1623953168","display_name":null,"funder_award_id":"U1401240","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5801571964","display_name":null,"funder_award_id":"B14042","funder_id":"https://openalex.org/F4320327912","funder_display_name":"Higher Education Discipline Innovation Project"},{"id":"https://openalex.org/G5941766095","display_name":null,"funder_award_id":"61374068","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G657367221","display_name":null,"funder_award_id":"106/2016/A3","funder_id":"https://openalex.org/F4320323893","funder_display_name":"Fundo para o Desenvolvimento das Ci\u00eancias e da Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320323893","display_name":"Fundo para o Desenvolvimento das Ci\u00eancias e da Tecnologia","ror":"https://ror.org/05vna4324"},{"id":"https://openalex.org/F4320327912","display_name":"Higher Education Discipline Innovation Project","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":82,"referenced_works":["https://openalex.org/W145269091","https://openalex.org/W332683046","https://openalex.org/W1567314218","https://openalex.org/W1594608409","https://openalex.org/W1751549213","https://openalex.org/W1795640186","https://openalex.org/W1915570783","https://openalex.org/W1962985716","https://openalex.org/W1965215820","https://openalex.org/W1978787137","https://openalex.org/W1995762178","https://openalex.org/W2001671625","https://openalex.org/W2005217875","https://openalex.org/W2022250047","https://openalex.org/W2035556324","https://openalex.org/W2037933704","https://openalex.org/W2041687415","https://openalex.org/W2042312589","https://openalex.org/W2051147456","https://openalex.org/W2055002849","https://openalex.org/W2062441999","https://openalex.org/W2067228647","https://openalex.org/W2068247526","https://openalex.org/W2072304766","https://openalex.org/W2072697401","https://openalex.org/W2076665553","https://openalex.org/W2085119635","https://openalex.org/W2092893907","https://openalex.org/W2104367108","https://openalex.org/W2108678912","https://openalex.org/W2109787297","https://openalex.org/W2112963513","https://openalex.org/W2113418311","https://openalex.org/W2115540709","https://openalex.org/W2116894546","https://openalex.org/W2124317738","https://openalex.org/W2124901174","https://openalex.org/W2132355828","https://openalex.org/W2134479195","https://openalex.org/W2135886503","https://openalex.org/W2140872435","https://openalex.org/W2144623944","https://openalex.org/W2146738006","https://openalex.org/W2147281200","https://openalex.org/W2151008975","https://openalex.org/W2162829410","https://openalex.org/W2163839607","https://openalex.org/W2165321755","https://openalex.org/W2165406169","https://openalex.org/W2165594843","https://openalex.org/W2167673994","https://openalex.org/W2174390203","https://openalex.org/W2176914953","https://openalex.org/W2205586271","https://openalex.org/W2284540796","https://openalex.org/W2294580796","https://openalex.org/W2310250136","https://openalex.org/W2310793150","https://openalex.org/W2316519055","https://openalex.org/W2319761178","https://openalex.org/W2342897103","https://openalex.org/W2344326925","https://openalex.org/W2344852273","https://openalex.org/W2345051373","https://openalex.org/W2403044140","https://openalex.org/W2419004840","https://openalex.org/W2461900131","https://openalex.org/W2466871366","https://openalex.org/W2489834867","https://openalex.org/W2514229721","https://openalex.org/W2538443008","https://openalex.org/W2553653057","https://openalex.org/W2580382314","https://openalex.org/W2594563654","https://openalex.org/W2594774104","https://openalex.org/W2905536356","https://openalex.org/W4236164983","https://openalex.org/W4256153162","https://openalex.org/W4285719527","https://openalex.org/W6667550989","https://openalex.org/W6685548803","https://openalex.org/W6757760473"],"related_works":["https://openalex.org/W2037546465","https://openalex.org/W1490920858","https://openalex.org/W151769687","https://openalex.org/W2258569017","https://openalex.org/W4251986095","https://openalex.org/W1543378523","https://openalex.org/W2963362836","https://openalex.org/W2133055577","https://openalex.org/W2382668819","https://openalex.org/W2037143823"],"abstract_inverted_index":{"This":[0,55],"paper":[1,56],"presents":[2],"a":[3,8,34,60,69,74,80,87,97,111,155,236],"new":[4],"method":[5,28,156],"of":[6,33,42,68,83,90,93,110,118,125,168,173,222,233],"computing":[7],"minimal":[9,114],"supervisory":[10],"structure":[11],"that":[12,106],"optimally":[13,218],"enforces":[14,219],"liveness":[15,220],"on":[16,122],"the":[17,30,40,51,91,107,116,123,129,150,159,169,198,202,209,223,230],"Petri":[18,35,70,98,130,170,211,224],"net":[19,36,71,99,131,171,212,225],"models":[20],"for":[21,64,165,185,214],"flexible":[22],"manufacturing":[23],"systems":[24],"(FMSs).":[25],"The":[26,141],"proposed":[27],"utilizes":[29],"structural":[31,108],"properties":[32],"model":[37,72,172,213],"to":[38,50,58,144,157,181],"avoid":[39],"computation":[41],"its":[43],"reachability":[44],"graph,":[45],"which":[46,77,195],"in":[47,86,96,128,138,235],"general":[48],"leads":[49],"state":[52],"explosion":[53],"problem.":[54],"aims":[57,143],"design":[59,182],"single":[61],"control":[62,84,119,183,204],"place":[63],"each":[65,166,186],"concurrent":[66,126],"process":[67,167],"or":[73,100],"sub-net":[75,101],"model,":[76,226],"thus":[78],"provides":[79,178],"constant":[81],"number":[82,92,117,124],"places":[85,95,120,184,205],"supervisor":[88,112],"regardless":[89],"resource":[94],"model.":[102,132],"It":[103],"is":[104,113,152],"shown":[105],"size":[109],"as":[115],"depends":[121],"processes":[127],"Precisely,":[133],"two":[134],"algorithms":[135],"are":[136,206],"developed":[137],"this":[139],"paper.":[140],"first":[142],"compute":[145,158],"active":[146],"uncontrolled":[147,210],"transitions":[148],"and":[149,227],"second":[151],"concerned":[153],"with":[154,208],"generalized":[160],"mutual":[161],"exclusion":[162],"constraints":[163],"(GMECs)":[164],"an":[174,179,215],"FMS.":[175],"Furthermore,":[176],"it":[177,217],"approach":[180],"computed":[187,203],"GMEC":[188],"without":[189],"solving":[190],"integer":[191],"linear":[192],"programming":[193],"problems,":[194],"greatly":[196],"reduces":[197],"computational":[199],"costs.":[200],"When":[201],"coupled":[207],"FMS,":[216],"behavior":[221],"hence":[228],"ensures":[229],"high":[231],"utilization":[232],"resources":[234],"considered":[237],"system.":[238]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}