{"id":"https://openalex.org/W4408805386","doi":"https://doi.org/10.1109/tase.2025.3554353","title":"Supervisory Control of Discrete Event Systems Modeled With Labeled Petri Nets for Diagnosability Enforcement","display_name":"Supervisory Control of Discrete Event Systems Modeled With Labeled Petri Nets for Diagnosability Enforcement","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4408805386","doi":"https://doi.org/10.1109/tase.2025.3554353"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2025.3554353","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2025.3554353","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"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 Transactions on Automation Science and Engineering","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/A5101988153","display_name":"LI Cheng-zong","orcid":"https://orcid.org/0000-0003-2421-2406"},"institutions":[{"id":"https://openalex.org/I116265982","display_name":"Qinghai University","ror":"https://ror.org/05h33bt13","country_code":"CN","type":"education","lineage":["https://openalex.org/I116265982"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Chengzong Li","raw_affiliation_strings":["School of Energy and Electrical Engineering, Qinghai University, Xining, China"],"affiliations":[{"raw_affiliation_string":"School of Energy and Electrical Engineering, Qinghai University, Xining, China","institution_ids":["https://openalex.org/I116265982"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034563646","display_name":"Yufeng Chen","orcid":"https://orcid.org/0000-0002-1568-3444"},"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":"Yufeng Chen","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, China"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091377032","display_name":"Almetwally M. Mostafa","orcid":"https://orcid.org/0000-0002-0976-239X"},"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":"Almetwally M. Mostafa","raw_affiliation_strings":["Department of Information Systems, College of Computer and Information Sciences, King Saud University, Riyadh, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Department of Information Systems, College of Computer and Information Sciences, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102803559","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0001-6311-3588"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["Faculty of Engineering, German International University, Berlin, Germany","Faculty of Engineering, German International University, Am Borsigturm 162, Berlin, Germany"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, German International University, Berlin, Germany","institution_ids":[]},{"raw_affiliation_string":"Faculty of Engineering, German International University, Am Borsigturm 162, Berlin, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101988153"],"corresponding_institution_ids":["https://openalex.org/I116265982"],"apc_list":null,"apc_paid":null,"fwci":4.5782,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.93446972,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"22","issue":null,"first_page":"13855","last_page":"13870"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9914000034332275,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9914000034332275,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9724000096321106,"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.9445000290870667,"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.8987542986869812},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.8374071717262268},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5817192196846008},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5568307638168335},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.536240816116333},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.5210270881652832},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5024821758270264},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.49359071254730225},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.48649781942367554},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4121992588043213},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35399699211120605},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.33848488330841064},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3329472243785858},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12051430344581604},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.11699900031089783},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10580316185951233}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8987542986869812},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.8374071717262268},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5817192196846008},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5568307638168335},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.536240816116333},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.5210270881652832},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5024821758270264},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.49359071254730225},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.48649781942367554},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4121992588043213},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35399699211120605},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.33848488330841064},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3329472243785858},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12051430344581604},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.11699900031089783},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10580316185951233},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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":1,"locations":[{"id":"doi:10.1109/tase.2025.3554353","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2025.3554353","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"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 Transactions on Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2708005429","display_name":null,"funder_award_id":"0029/2022/AGJ","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"},{"id":"https://openalex.org/G4957259083","display_name":null,"funder_award_id":"62103349","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7496331136","display_name":null,"funder_award_id":"0029/2023/RIA1","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321655","display_name":"Science and Technology Development Fund","ror":"https://ror.org/044vr6g03"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W120843661","https://openalex.org/W332683046","https://openalex.org/W1985787415","https://openalex.org/W1986296241","https://openalex.org/W1994234600","https://openalex.org/W1996043796","https://openalex.org/W1996109622","https://openalex.org/W2003070900","https://openalex.org/W2015353062","https://openalex.org/W2022250047","https://openalex.org/W2053982295","https://openalex.org/W2099395647","https://openalex.org/W2104367108","https://openalex.org/W2108963340","https://openalex.org/W2119106833","https://openalex.org/W2126410464","https://openalex.org/W2131628306","https://openalex.org/W2158410599","https://openalex.org/W2160792115","https://openalex.org/W2316519055","https://openalex.org/W2403044140","https://openalex.org/W2538443008","https://openalex.org/W2773002878","https://openalex.org/W2884404272","https://openalex.org/W2894631171","https://openalex.org/W3004266930","https://openalex.org/W3181652927","https://openalex.org/W3183415082","https://openalex.org/W3201230491","https://openalex.org/W3202602210","https://openalex.org/W3205399122","https://openalex.org/W3215742659","https://openalex.org/W4210764656","https://openalex.org/W4285156429","https://openalex.org/W4289656227","https://openalex.org/W4321483975","https://openalex.org/W4372329760","https://openalex.org/W4385832174","https://openalex.org/W4388052938","https://openalex.org/W4405753653"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W4386989863","https://openalex.org/W2064254377","https://openalex.org/W2901841247","https://openalex.org/W1847176793","https://openalex.org/W2148229336","https://openalex.org/W2001922003","https://openalex.org/W117466158"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"an":[3,46,93,199],"active":[4,200],"fault":[5,201],"diagnosis":[6,202],"method":[7,203],"to":[8,55,62,78,100,135,142,148,168,212,236],"enforce":[9,213],"the":[10,80,84,88,108,119,125,129,144,155,179,205,214,255],"diagnosability":[11,31,215,220],"of":[12,83,121,158,181,190,207,216],"discrete":[13],"event":[14],"systems":[15],"using":[16,41],"labeled":[17,67,208],"Petri":[18,51,68,209,242],"nets":[19,243],"by":[20,40,117,124,186,244],"constructing":[21],"a":[22,26,35,50,71,102,151,159,187,217,225,238,246],"diagnostic":[23,72,89,103,127,239],"supervisor.":[24],"For":[25],"non-diagnosable":[27],"net":[28,52,131],"model,":[29],"its":[30],"is":[32,76,98,133,222,231,258],"viewed":[33],"as":[34,56,224],"control":[36,43,64,226,250],"specification":[37,227],"and":[38,49,161,164,172,248],"addressed":[39],"supervisory":[42],"techniques.":[44],"First,":[45],"event-based":[47],"monitor":[48],"structure,":[53],"referred":[54],"data":[57],"isolation":[58,165],"arcs,":[59],"are":[60,140,166],"introduced":[61],"apply":[63],"specifications":[65],"for":[66,234],"nets.":[69],"Then,":[70],"supervisor":[73,90,240],"reachability":[74,91],"graph":[75],"generated":[77],"estimate":[79],"current":[81],"state":[82],"diagnoser.":[85],"By":[86],"analyzing":[87],"graph,":[92],"integer":[94],"linear":[95],"programming":[96],"model":[97,132],"formulated":[99],"design":[101],"supervisor,":[104,128],"which":[105,252],"can":[106],"prevent":[107],"system":[109,170,257],"from":[110],"entering":[111],"into":[112],"any":[113],"indeterminate":[114],"cycle":[115],"only":[116],"observing":[118],"occurrence":[120,180],"events.":[122],"Finally,":[123],"obtained":[126],"resulting":[130],"shown":[134],"be":[136,184],"diagnosable.":[137,259],"Some":[138],"examples":[139],"presented":[141],"demonstrate":[143],"proposed":[145],"method.":[146],"Note":[147],"Practitioners\u2014Faults":[149],"have":[150],"significant":[152],"impact":[153],"on":[154],"normal":[156],"operation":[157],"system,":[160],"timely":[162],"detection":[163],"crucial":[167],"ensuring":[169],"stability":[171],"production":[173],"efficiency.":[174],"Nevertheless,":[175],"in":[176,204],"certain":[177],"systems,":[178],"faults":[182],"cannot":[183],"determined":[185],"finite":[188],"number":[189],"observations.":[191],"To":[192],"address":[193],"this":[194,196],"problem,":[195],"work":[197],"introduces":[198],"framework":[206],"nets,":[210],"aiming":[211],"system.":[218],"The":[219],"condition":[221],"treated":[223],"such":[228],"that":[229,254],"it":[230],"readily":[232],"accessible":[233],"practitioners":[235],"construct":[237],"with":[241],"following":[245],"typical":[247],"traditional":[249],"paradigm,":[251],"ensures":[253],"controlled":[256]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}