{"id":"https://openalex.org/W4404787409","doi":"https://doi.org/10.1109/tase.2024.3496861","title":"Diagnosability Verification and Enforcement for Unbounded Petri Nets by Online Supervisors","display_name":"Diagnosability Verification and Enforcement for Unbounded Petri Nets by Online Supervisors","publication_year":2024,"publication_date":"2024-11-27","ids":{"openalex":"https://openalex.org/W4404787409","doi":"https://doi.org/10.1109/tase.2024.3496861"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2024.3496861","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2024.3496861","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/A5003810820","display_name":"Shaopeng Hu","orcid":"https://orcid.org/0000-0003-3833-1633"},"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":"Shaopeng Hu","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi’an, China"],"affiliations":[{"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/A5040716448","display_name":"Yihui Hu","orcid":"https://orcid.org/0000-0003-0098-6933"},"institutions":[{"id":"https://openalex.org/I4210136859","display_name":"Xi\u2019an University of Posts and Telecommunications","ror":"https://ror.org/04jn0td46","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136859"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yihui Hu","raw_affiliation_strings":["School of Automation, Xi\u2019an University of Posts and Telecommunications, Xi’an, China","School of Automation, Xi’an University of Posts and Telecommunications, Xi’an, China"],"affiliations":[{"raw_affiliation_string":"School of Automation, Xi\u2019an University of Posts and Telecommunications, Xi’an, China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"School of Automation, Xi’an University of Posts and Telecommunications, Xi’an, China","institution_ids":["https://openalex.org/I4210136859"]}]},{"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’an, China"],"affiliations":[{"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/A5071850448","display_name":"Maria Pia Fanti","orcid":"https://orcid.org/0000-0002-8612-1852"},"institutions":[{"id":"https://openalex.org/I68618741","display_name":"Polytechnic University of Bari","ror":"https://ror.org/03c44v465","country_code":"IT","type":"education","lineage":["https://openalex.org/I68618741"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria Pia Fanti","raw_affiliation_strings":["Department of Electrical and Information Engineering, Polytechnic University of Bari, Bari, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Information Engineering, Polytechnic University of Bari, Bari, Italy","institution_ids":["https://openalex.org/I68618741"]}]},{"author_position":"last","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, Taipa, Macau","School of Electro-Mechanical Engineering, Xidian University, Xi’an, China"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5003810820"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":null,"apc_paid":null,"fwci":1.4321,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84573774,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"22","issue":null,"first_page":"9061","last_page":"9074"},"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.9811999797821045,"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.9811999797821045,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9660000205039978,"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.8781715631484985},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.6949856281280518},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5680290460586548},{"id":"https://openalex.org/keywords/petri-dish","display_name":"Petri dish","score":0.5360344648361206},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.4677085280418396},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4251054525375366},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3542371392250061},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3215405344963074}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8781715631484985},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.6949856281280518},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5680290460586548},{"id":"https://openalex.org/C146763376","wikidata":"https://www.wikidata.org/wiki/Q81714","display_name":"Petri dish","level":2,"score":0.5360344648361206},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.4677085280418396},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4251054525375366},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3542371392250061},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3215405344963074},{"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2024.3496861","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2024.3496861","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/G4903836870","display_name":null,"funder_award_id":"2024JC-YBQN-0669","funder_id":"https://openalex.org/F4320336567","funder_display_name":"Natural Science Basic Research Program of Shaanxi Province"},{"id":"https://openalex.org/G5029560980","display_name":null,"funder_award_id":"62403378","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7215646736","display_name":null,"funder_award_id":"2018YFB1700104","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program 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/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320336567","display_name":"Natural Science Basic Research Program of Shaanxi Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W120843661","https://openalex.org/W1651168384","https://openalex.org/W1925800244","https://openalex.org/W1983934219","https://openalex.org/W1985787415","https://openalex.org/W1996043796","https://openalex.org/W2037802202","https://openalex.org/W2053982295","https://openalex.org/W2101282755","https://openalex.org/W2105941398","https://openalex.org/W2130675058","https://openalex.org/W2147774669","https://openalex.org/W2158753091","https://openalex.org/W2344188727","https://openalex.org/W2526581160","https://openalex.org/W2580506059","https://openalex.org/W2582314773","https://openalex.org/W2607898266","https://openalex.org/W2759976471","https://openalex.org/W2773002878","https://openalex.org/W2799272605","https://openalex.org/W2884404272","https://openalex.org/W2894631171","https://openalex.org/W2894781070","https://openalex.org/W2910541645","https://openalex.org/W2952027052","https://openalex.org/W2965135032","https://openalex.org/W3004266930","https://openalex.org/W3135827377","https://openalex.org/W3181652927","https://openalex.org/W3191454917","https://openalex.org/W3209050376","https://openalex.org/W4233908264","https://openalex.org/W4308312308","https://openalex.org/W4366813513","https://openalex.org/W4385832174","https://openalex.org/W4386737027","https://openalex.org/W4387587596","https://openalex.org/W4391582549"],"related_works":["https://openalex.org/W1938017683","https://openalex.org/W224189422","https://openalex.org/W2158814988","https://openalex.org/W1543378523","https://openalex.org/W2355954834","https://openalex.org/W2285444239","https://openalex.org/W2257573499","https://openalex.org/W2901841247","https://openalex.org/W2091260341","https://openalex.org/W597347111"],"abstract_inverted_index":{"This":[0,71,117,190],"paper":[1],"addresses":[2],"the":[3,38,65,68,85,105,134,156,169,197,216,221,234,252,259,267,280],"problems":[4],"of":[5,10,67,112,173,199,215,223,228,237,246,272],"diagnosability":[6,66,126,164,273],"verification":[7],"and":[8,28,43,102,122,140,163,171,184,213,264,269],"enforcement":[9,127,165,274],"discrete":[11,200],"event":[12,201],"systems":[13,22,176,202],"modeled":[14,205],"with":[15,37,206],"unbounded":[16,48,96,207],"Petri":[17,50,97,209,247],"nets.":[18,210],"Diagnosability":[19],"in":[20],"such":[21,232],"is":[23,61,92,99,137,241],"critical":[24,167],"for":[25,125,168],"ensuring":[26],"reliability":[27],"maintaining":[29],"operational":[30],"integrity,":[31],"yet":[32],"current":[33],"methods":[34],"often":[35],"struggle":[36],"complexity":[39],"introduced":[40],"by":[41,128,147,279,286],"unboundedness":[42],"potential":[44],"deadlocks.":[45],"Given":[46],"an":[47,80,95,130],"labeled":[49,208],"net":[51,98],"that":[52,94,203,233],"may":[53],"reach":[54],"deadlocks,":[55],"a":[56,74,110,143,224,229,238],"quiescent":[57,87,254],"basis":[58,88,255],"coverability":[59,89,256],"graph":[60,257],"established":[62],"to":[63,154,160,262],"verify":[64],"considered":[69,230],"system.":[70],"procedure":[72],"employs":[73],"deterministic":[75],"finite":[76],"state":[77],"automaton,":[78],"called":[79,114],"extended":[81],"verifier,":[82],"derived":[83],"from":[84,196,220],"proposed":[86,157,253],"graph.":[90],"It":[91],"shown":[93],"diagnosable":[100],"if":[101,104],"only":[103],"verifier":[106],"does":[107],"not":[108],"contain":[109],"class":[111],"cycles,":[113],"repetitive":[115],"F-cycles.":[116],"result":[118],"also":[119,141],"provides":[120],"necessary":[121,270],"sufficient":[123,268],"conditions":[124,271],"developing":[129],"online":[131],"supervisor.":[132],"Further,":[133],"designed":[135],"supervisor":[136],"maximally":[138],"permissive":[139],"circumvents":[142],"plant":[144,231],"entering":[145],"deadlocks":[146],"firing":[148],"non-fault":[149],"sequences.":[150],"Examples":[151],"are":[152,166,204],"presented":[153],"demonstrate":[155],"method.":[158],"Note":[159],"Practitioners\u2014Fault":[161],"diagnosis":[162],"development":[170],"operation":[172],"highly":[174],"automated":[175],"covering":[177],"computer-integrated":[178],"production":[179],"processes,":[180],"intelligent":[181],"traffic,":[182],"computer":[183],"communication":[185],"networks,":[186],"smart":[187],"gird,":[188],"etc.":[189],"work":[191],"touches":[192],"upon":[193],"this":[194],"problem":[195],"perspective":[198],"The":[211,243],"feasibility":[212],"applicability":[214],"reported":[217],"method":[218,260],"stem":[219],"usage":[222],"structurally":[225],"compact":[226],"representation":[227,245],"computational":[235],"cost":[236],"real-world":[239],"system":[240],"acceptable.":[242],"graphical":[244],"nets":[248],"as":[249,251],"well":[250],"make":[258],"easy":[261],"use":[263],"manipulate.":[265],"Moreover":[266],"can":[275],"be":[276],"readily":[277],"verified":[278],"supervisory":[281],"theory,":[282],"facilitating":[283],"its":[284],"adoption":[285],"practitioners.":[287]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2}],"updated_date":"2026-04-02T13:48:15.688549","created_date":"2025-10-10T00:00:00"}