{"id":"https://openalex.org/W4391468043","doi":"https://doi.org/10.1109/access.2024.3361811","title":"Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs","display_name":"Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4391468043","doi":"https://doi.org/10.1109/access.2024.3361811"},"language":"en","primary_location":{"id":"doi:10.1109/access.2024.3361811","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3361811","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10418924.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/6514899/10418924.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004568400","display_name":"Murat Uzam","orcid":"https://orcid.org/0000-0001-9625-5523"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Murat Uzam","raw_affiliation_strings":["Mühendislik-Mimarlık Fakültesi, Elektrik-Elektronik Mühendisliği Bölümü, Yozgat Bozok Üniversitesi, Yozgat, Turkey"],"affiliations":[{"raw_affiliation_string":"Mühendislik-Mimarlık Fakültesi, Elektrik-Elektronik Mühendisliği Bölümü, Yozgat Bozok Üniversitesi, Yozgat, Turkey","institution_ids":[]}]},{"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"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, China","Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008340413","display_name":"Mohammed A. El-Meligy","orcid":"https://orcid.org/0000-0001-7967-4259"},"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":"Mohammed A. El-Meligy","raw_affiliation_strings":["Industrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi Arabia","Industrial Engineering Department, College of Engineering, King Saud University, P.O. Box 800, Riyadh, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Industrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]},{"raw_affiliation_string":"Industrial Engineering Department, College of Engineering, King Saud University, P.O. Box 800, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101469202","display_name":"Mohamed Sharaf","orcid":null},"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":"Mohamed A. Sharaf","raw_affiliation_strings":["Industrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi Arabia","Industrial Engineering Department, College of Engineering, King Saud University, P.O. Box 800, Riyadh, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Industrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]},{"raw_affiliation_string":"Industrial Engineering Department, College of Engineering, King Saud University, P.O. Box 800, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014848242","display_name":"Qiwei Tang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qiwei Tang","raw_affiliation_strings":["Hitachi Building Technology (Guangzhou) Company Ltd., Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Hitachi Building Technology (Guangzhou) Company Ltd., Guangzhou, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5004568400"],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.4189,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81625551,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"12","issue":null,"first_page":"20031","last_page":"20046"},"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.9560999870300293,"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.9560999870300293,"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/liveness","display_name":"Liveness","score":0.9157074689865112},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8841881155967712},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7635701894760132},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.6624547243118286},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.6425132751464844},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.5098932981491089},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.48355838656425476},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34640011191368103},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19646823406219482},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06734094023704529}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9157074689865112},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8841881155967712},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7635701894760132},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.6624547243118286},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.6425132751464844},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.5098932981491089},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.48355838656425476},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34640011191368103},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19646823406219482},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06734094023704529},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/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.2024.3361811","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3361811","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10418924.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:e1fa4bcae9634604ab4e21ec8988e0b3","is_oa":true,"landing_page_url":"https://doaj.org/article/e1fa4bcae9634604ab4e21ec8988e0b3","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 12, Pp 20031-20046 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2024.3361811","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3361811","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10418924.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/G2758297395","display_name":null,"funder_award_id":"RSPD2024R704","funder_id":"https://openalex.org/F4320321145","funder_display_name":"King Saud University"},{"id":"https://openalex.org/G8239988234","display_name":null,"funder_award_id":"Riyadh","funder_id":"https://openalex.org/F4320321145","funder_display_name":"King Saud University"}],"funders":[{"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/W4391468043.pdf","grobid_xml":"https://content.openalex.org/works/W4391468043.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W153779636","https://openalex.org/W332683046","https://openalex.org/W1572060549","https://openalex.org/W1978787137","https://openalex.org/W1986055061","https://openalex.org/W2001671625","https://openalex.org/W2005217875","https://openalex.org/W2006400249","https://openalex.org/W2032336460","https://openalex.org/W2039542278","https://openalex.org/W2041687415","https://openalex.org/W2041795078","https://openalex.org/W2043721415","https://openalex.org/W2049252484","https://openalex.org/W2051147456","https://openalex.org/W2053369452","https://openalex.org/W2062441999","https://openalex.org/W2073157880","https://openalex.org/W2086431835","https://openalex.org/W2089870759","https://openalex.org/W2090233342","https://openalex.org/W2091428345","https://openalex.org/W2092893907","https://openalex.org/W2098899007","https://openalex.org/W2099550549","https://openalex.org/W2099584921","https://openalex.org/W2103198692","https://openalex.org/W2104367108","https://openalex.org/W2104760299","https://openalex.org/W2108569958","https://openalex.org/W2110169180","https://openalex.org/W2111126894","https://openalex.org/W2114399731","https://openalex.org/W2115540709","https://openalex.org/W2121511592","https://openalex.org/W2124317738","https://openalex.org/W2126163520","https://openalex.org/W2132355828","https://openalex.org/W2136749565","https://openalex.org/W2140872435","https://openalex.org/W2141563078","https://openalex.org/W2143881792","https://openalex.org/W2146738006","https://openalex.org/W2147281200","https://openalex.org/W2155372793","https://openalex.org/W2162518231","https://openalex.org/W2163839607","https://openalex.org/W2165406169","https://openalex.org/W2319761178","https://openalex.org/W2734904191","https://openalex.org/W2800404248","https://openalex.org/W4319317766","https://openalex.org/W4380996570"],"related_works":["https://openalex.org/W2124283471","https://openalex.org/W2004753716","https://openalex.org/W2330065971","https://openalex.org/W2066603162","https://openalex.org/W2031305780","https://openalex.org/W2107690674","https://openalex.org/W2120541137","https://openalex.org/W2391817608","https://openalex.org/W2380939061","https://openalex.org/W2382668819"],"abstract_inverted_index":{"In":[0,140],"the":[1,36,42,66,72,76,100,103,113,126,136,149,153,160,229,280],"past":[2],"three":[3],"decades,":[4],"a":[5,24,47,54,93,221,255,264],"lot":[6],"of":[7,29,53,56,80,92,152,162,189,200,223,231,239,263,266,270],"Petri":[8,26,48,62,77,94,256],"net-based":[9],"methods":[10],"have":[11],"been":[12,170,183],"proposed":[13,204,247],"for":[14,197],"deadlock":[15],"prevention/liveness":[16],"enforcing":[17,38],"in":[18,205,228],"flexible":[19],"manufacturing":[20],"systems":[21],"(FMSs).":[22],"Firstly,":[23],"plant":[25,61],"net":[27,63,78,95,257],"model":[28,64,79,96,105,115,128,258],"an":[30,81,198,201,216],"FMS":[31,82,202],"is":[32,44,83,106,116,129,156,203,248,273],"obtained":[33],"and":[34,65,191,227,241],"then":[35,118],"liveness":[37],"supervisor":[39],"(LES)":[40],"or":[41,110],"controller":[43],"computed":[45],"as":[46,225],"net.":[49],"An":[50,194],"LES":[51,67,199],"contains":[52,254],"set":[55,161,222,265],"control":[57],"places":[58],"(CPs).":[59],"The":[60,212,244,268],"are":[68,97,121,133,138],"merged":[69],"to":[70,142,147,158,185,208,250],"obtain":[71],"controlled":[73,104,114,127,178,219,233,260],"model.":[74],"Once":[75],"live,":[84],"deadlocks":[85],"never":[86],"occur.":[87],"When":[88],"all":[89,119],"legal":[90],"markings":[91],"reachable":[98],"by":[99,220,261,275],"live":[101],"system,":[102],"called":[107],"maximally":[108],"permissive":[109],"optimal.":[111,123],"If":[112],"optimal,":[117],"CPs":[120,132],"also":[122],"However,":[124],"when":[125,174],"suboptimal,":[130],"some":[131],"optimal":[134,190,240],"while":[135],"others":[137],"not.":[139],"order":[141],"improve":[143],"behavioral":[144],"permissiveness":[145],"and/or":[146],"reduce":[148],"structural":[150],"complexity":[151],"CPs,":[154,224],"it":[155,235],"crucial":[157],"identify":[159,186],"suboptimal":[163,177,192,232,242],"CPs.":[164,193,243,267],"This":[165],"important":[166],"issue":[167],"has":[168,182],"not":[169],"tackled":[171],"before.":[172],"To-date,":[173],"dealing":[175],"with":[176],"models":[179,234],"no":[180],"attention":[181],"paid":[184],"both":[187,237],"sets":[188,238],"optimality":[195,213,245],"test":[196,214,246],"this":[206,210,271],"paper":[207],"address":[209],"problem.":[211],"takes":[215],"LPN":[217,252],"model,":[218],"input":[226],"case":[230],"produces":[236],"applicable":[249],"any":[251],"that":[253],"(PNM),":[259],"means":[262],"applicability":[269],"method":[272],"shown":[274],"considering":[276],"several":[277],"examples":[278],"from":[279],"literature.":[281]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}