{"id":"https://openalex.org/W2905536356","doi":"https://doi.org/10.1093/imamci/dnx024","title":"On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach","display_name":"On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach","publication_year":2017,"publication_date":"2017-04-05","ids":{"openalex":"https://openalex.org/W2905536356","doi":"https://doi.org/10.1093/imamci/dnx024","mag":"2905536356"},"language":"en","primary_location":{"id":"doi:10.1093/imamci/dnx024","is_oa":false,"landing_page_url":"https://doi.org/10.1093/imamci/dnx024","pdf_url":null,"source":{"id":"https://openalex.org/S162756791","display_name":"IMA Journal of Mathematical Control and Information","issn_l":"0265-0754","issn":["0265-0754","1471-6887"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IMA Journal of Mathematical Control and Information","raw_type":"journal-article"},"type":"article","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/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":false,"raw_author_name":"Muhammad Bashir","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Key Laboratory of Electronic Equipment Structure Design, Xidian University, No. 2 South Taibai Road, Xi\u2019an, China","School of Electro-Mechanical Engineering, Key Laboratory of Electronic Equipment Structure Design, Xidian University, No. 2 South Taibai Road, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Key Laboratory of Electronic Equipment Structure Design, Xidian University, No. 2 South Taibai Road, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Key Laboratory of Electronic Equipment Structure Design, Xidian University, No. 2 South Taibai Road, 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"]}],"countries":["MO"],"is_corresponding":true,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Avenida Wai Long, Taipa, Macau SAR"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Avenida Wai Long, Taipa, Macau SAR","institution_ids":["https://openalex.org/I111950717"]}]},{"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/I3132082138","display_name":"Meliksah University","ror":"https://ror.org/05wasnw28","country_code":"TR","type":"education","lineage":["https://openalex.org/I3132082138"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Murat Uzam","raw_affiliation_strings":["Meliksah Universitesi, Muhendislik-Mimarlik Fakultesi Elektrik-Elektronik Muhendisligi Bolumu 38280 Talas, Kayseri, Turkey"],"affiliations":[{"raw_affiliation_string":"Meliksah Universitesi, Muhendislik-Mimarlik Fakultesi Elektrik-Elektronik Muhendisligi Bolumu 38280 Talas, Kayseri, Turkey","institution_ids":["https://openalex.org/I3132082138"]}]},{"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, Avenida Wai Long, Taipa, Macau SAR"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Avenida Wai Long, Taipa, Macau SAR","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"last","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":["Industrial Engineering Department, College of Engineering, King Saud University, Riyadh 11421, Saudi Arabia and FARCAMT Chair, Advanced Manufacturing Institute, King Saud University, Riyadh 11421, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Industrial Engineering Department, College of Engineering, King Saud University, Riyadh 11421, Saudi Arabia and FARCAMT Chair, Advanced Manufacturing Institute, King Saud University, Riyadh 11421, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5045305170"],"corresponding_institution_ids":["https://openalex.org/I111950717"],"apc_list":{"value":2582,"currency":"GBP","value_usd":3167},"apc_paid":null,"fwci":0.9084,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.78209335,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"35","issue":"4","first_page":"1217","last_page":"1249"},"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.9977999925613403,"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.9876000285148621,"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.9475904703140259},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9459261894226074},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.9165538549423218},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6708685755729675},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6344782710075378},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.516771674156189},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4708283245563507},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.46594488620758057},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.44317254424095154},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.4302312731742859},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.4298306405544281},{"id":"https://openalex.org/keywords/flexible-manufacturing-system","display_name":"Flexible manufacturing system","score":0.42885348200798035},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4259186089038849},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.42018038034439087},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39054733514785767},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3810720145702362},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27477478981018066},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18489497900009155},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18102601170539856},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.13143375515937805}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9475904703140259},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9459261894226074},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9165538549423218},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6708685755729675},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6344782710075378},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.516771674156189},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4708283245563507},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.46594488620758057},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.44317254424095154},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.4302312731742859},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.4298306405544281},{"id":"https://openalex.org/C2777869240","wikidata":"https://www.wikidata.org/wiki/Q1424398","display_name":"Flexible manufacturing system","level":3,"score":0.42885348200798035},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4259186089038849},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.42018038034439087},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39054733514785767},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3810720145702362},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27477478981018066},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18489497900009155},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18102601170539856},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.13143375515937805},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"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},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/imamci/dnx024","is_oa":false,"landing_page_url":"https://doi.org/10.1093/imamci/dnx024","pdf_url":null,"source":{"id":"https://openalex.org/S162756791","display_name":"IMA Journal of Mathematical Control and Information","issn_l":"0265-0754","issn":["0265-0754","1471-6887"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IMA Journal of Mathematical Control and Information","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6730635618","display_name":null,"funder_award_id":"ISPP#0079","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":84,"referenced_works":["https://openalex.org/W332683046","https://openalex.org/W1563225419","https://openalex.org/W1751549213","https://openalex.org/W1915570783","https://openalex.org/W1962985716","https://openalex.org/W1965215820","https://openalex.org/W1975901756","https://openalex.org/W1978787137","https://openalex.org/W1986055061","https://openalex.org/W1992002050","https://openalex.org/W1993058867","https://openalex.org/W1994576559","https://openalex.org/W2001671625","https://openalex.org/W2002235729","https://openalex.org/W2005217875","https://openalex.org/W2021993029","https://openalex.org/W2022250047","https://openalex.org/W2035556324","https://openalex.org/W2037933704","https://openalex.org/W2042312589","https://openalex.org/W2043721415","https://openalex.org/W2048456685","https://openalex.org/W2049252484","https://openalex.org/W2051147456","https://openalex.org/W2053369452","https://openalex.org/W2062441999","https://openalex.org/W2076665553","https://openalex.org/W2085119635","https://openalex.org/W2086414784","https://openalex.org/W2089870759","https://openalex.org/W2090233342","https://openalex.org/W2092893907","https://openalex.org/W2099550549","https://openalex.org/W2099584921","https://openalex.org/W2104367108","https://openalex.org/W2105435021","https://openalex.org/W2108678912","https://openalex.org/W2113418311","https://openalex.org/W2115193354","https://openalex.org/W2116894546","https://openalex.org/W2122664732","https://openalex.org/W2132355828","https://openalex.org/W2134479195","https://openalex.org/W2135624536","https://openalex.org/W2135886503","https://openalex.org/W2140640958","https://openalex.org/W2140872435","https://openalex.org/W2145070257","https://openalex.org/W2146640730","https://openalex.org/W2146738006","https://openalex.org/W2146855929","https://openalex.org/W2147281200","https://openalex.org/W2153280083","https://openalex.org/W2163338158","https://openalex.org/W2163839607","https://openalex.org/W2164977152","https://openalex.org/W2165321755","https://openalex.org/W2165406169","https://openalex.org/W2165594843","https://openalex.org/W2167673994","https://openalex.org/W2284540796","https://openalex.org/W2304957619","https://openalex.org/W2310250136","https://openalex.org/W2310793150","https://openalex.org/W2316519055","https://openalex.org/W2319761178","https://openalex.org/W2325601396","https://openalex.org/W2342897103","https://openalex.org/W2344326925","https://openalex.org/W2345051373","https://openalex.org/W2419004840","https://openalex.org/W2495146466","https://openalex.org/W2528134256","https://openalex.org/W2538443008","https://openalex.org/W2538931973","https://openalex.org/W2553653057","https://openalex.org/W2580382314","https://openalex.org/W6629684691","https://openalex.org/W6633529053","https://openalex.org/W6635451418","https://openalex.org/W6677289622","https://openalex.org/W6679733747","https://openalex.org/W6680322457","https://openalex.org/W6700842937"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W4226119751","https://openalex.org/W1542183432","https://openalex.org/W2360686363","https://openalex.org/W2001478969","https://openalex.org/W1867637656","https://openalex.org/W2329232208","https://openalex.org/W2167673994","https://openalex.org/W4386748020","https://openalex.org/W2162980456"],"abstract_inverted_index":{"A":[0,74],"deluge":[1],"of":[2,29,39,57,83,102,127],"studies":[3],"has":[4],"been":[5],"carried":[6],"out":[7],"on":[8],"deadlock":[9],"prevention":[10],"and":[11,141],"liveness":[12],"enforcement":[13],"for":[14,45,111],"flexible":[15],"manufacturing":[16,157],"systems":[17],"(FMSs).":[18],"This":[19],"paper":[20],"reports":[21],"an":[22,46,50,112,128,132],"algebraic":[23,133],"procedure":[24],"to":[25,34,79,144,161],"find":[26,80],"a":[27,40,55,81,106],"set":[28,56,82],"merged":[30,84],"place":[31,65,85],"invariants,":[32],"aiming":[33],"reduce":[35],"the":[36,71,93,100,119,135,153,163],"structural":[37],"complexity":[38],"liveness-enforcing":[41,107],"Petri":[42,52,108,147],"net":[43,53,109,148],"supervisor":[44,95,110,117],"FMS.":[47,113],"Firstly,":[48],"given":[49],"uncontrolled":[51],"model,":[54],"control":[58,103],"places":[59,104],"as":[60,62],"well":[61],"their":[63],"corresponding":[64],"invariants":[66,86],"are":[67,88,159],"computed":[68],"by":[69],"using":[70],"existing":[72],"methods.":[73],"systematic":[75],"approach":[76,164],"is":[77,138,142],"developed":[78],"that":[87,126],"much":[89],"more":[90,122],"compact":[91],"than":[92,125],"original":[94,129],"structure,":[96],"which":[97],"remarkably":[98],"reduces":[99],"number":[101],"in":[105,152,166],"The":[114],"structurally":[115],"reduced":[116],"provides":[118],"same":[120],"or":[121],"permissive":[123],"behavior":[124],"one.":[130],"As":[131],"approach,":[134],"proposed":[136],"method":[137],"computationally":[139],"trivial":[140],"applicable":[143],"all":[145],"manufacturing-oriented":[146],"classes":[149],"currently":[150],"available":[151],"literature.":[154],"Several":[155],"typical":[156],"examples":[158],"used":[160],"demonstrate":[162],"reported":[165],"this":[167],"research.":[168]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}