{"id":"https://openalex.org/W3083299365","doi":"https://doi.org/10.1109/access.2020.3021476","title":"Online Fault Diagnosis of Labeled Petri Nets Based on Reachability Graphs and Topological Sorting","display_name":"Online Fault Diagnosis of Labeled Petri Nets Based on Reachability Graphs and Topological Sorting","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3083299365","doi":"https://doi.org/10.1109/access.2020.3021476","mag":"3083299365"},"language":"en","primary_location":{"id":"doi:10.1109/access.2020.3021476","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3021476","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.2020.3021476","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100677057","display_name":"Ya Wang","orcid":"https://orcid.org/0000-0001-7514-8542"},"institutions":[{"id":"https://openalex.org/I903994226","display_name":"Xuchang University","ror":"https://ror.org/03k174p87","country_code":"CN","type":"education","lineage":["https://openalex.org/I903994226"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ya Wang","raw_affiliation_strings":["School of Information Engineering, Xuchang University, Xuchang, China","School of Information Engineering Xuchang University Xuchang China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Engineering, Xuchang University, Xuchang, China","institution_ids":["https://openalex.org/I903994226"]},{"raw_affiliation_string":"School of Information Engineering Xuchang University Xuchang China","institution_ids":["https://openalex.org/I903994226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008928096","display_name":"Li Yin","orcid":"https://orcid.org/0000-0002-0456-1775"},"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":"Li Yin","raw_affiliation_strings":["Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Taipa, Macau","[Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Taipa, Macau]"],"raw_orcid":"https://orcid.org/0000-0002-0456-1775","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Taipa, Macau","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"[Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Taipa, Macau]","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083556060","display_name":"Guanghui Zhu","orcid":"https://orcid.org/0000-0002-1627-2946"},"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":"Guanghui Zhu","raw_affiliation_strings":["Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Taipa, Macau","[Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Taipa, Macau]"],"raw_orcid":"https://orcid.org/0000-0002-1627-2946","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Taipa, Macau","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"[Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Taipa, Macau]","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.2763,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.62967391,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"8","issue":null,"first_page":"162363","last_page":"162372"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9908999800682068,"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.9908999800682068,"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/unobservable","display_name":"Unobservable","score":0.8722412586212158},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8707547187805176},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8481295108795166},{"id":"https://openalex.org/keywords/topological-sorting","display_name":"Topological sorting","score":0.7035561800003052},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6269069910049438},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.46255767345428467},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4530978500843048},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4499351978302002},{"id":"https://openalex.org/keywords/subnet","display_name":"Subnet","score":0.44629085063934326},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.4158604145050049},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38658252358436584},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3522035479545593},{"id":"https://openalex.org/keywords/directed-graph","display_name":"Directed graph","score":0.3469180464744568},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30502453446388245}],"concepts":[{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.8722412586212158},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8707547187805176},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8481295108795166},{"id":"https://openalex.org/C176032523","wikidata":"https://www.wikidata.org/wiki/Q753127","display_name":"Topological sorting","level":3,"score":0.7035561800003052},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6269069910049438},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.46255767345428467},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4530978500843048},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4499351978302002},{"id":"https://openalex.org/C21099817","wikidata":"https://www.wikidata.org/wiki/Q7631721","display_name":"Subnet","level":2,"score":0.44629085063934326},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.4158604145050049},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38658252358436584},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3522035479545593},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.3469180464744568},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30502453446388245},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2020.3021476","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3021476","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:1981af087c5742e6a1590bc47d426750","is_oa":true,"landing_page_url":"https://doaj.org/article/1981af087c5742e6a1590bc47d426750","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 8, Pp 162363-162372 (2020)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2020.3021476","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3021476","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1573093426","https://openalex.org/W1972158470","https://openalex.org/W1981664517","https://openalex.org/W1985787415","https://openalex.org/W1996109622","https://openalex.org/W2018481388","https://openalex.org/W2019970645","https://openalex.org/W2056495496","https://openalex.org/W2063123613","https://openalex.org/W2078351107","https://openalex.org/W2094370340","https://openalex.org/W2108963340","https://openalex.org/W2160792115","https://openalex.org/W2164002382","https://openalex.org/W2343479453","https://openalex.org/W2580506059","https://openalex.org/W2767138686","https://openalex.org/W2884404272","https://openalex.org/W2897874121","https://openalex.org/W2914255553","https://openalex.org/W2942732844","https://openalex.org/W2960272311","https://openalex.org/W2962715553","https://openalex.org/W2965218277","https://openalex.org/W2969897625","https://openalex.org/W2971629835","https://openalex.org/W2980015804","https://openalex.org/W2999990453","https://openalex.org/W3004266930","https://openalex.org/W3007842207","https://openalex.org/W3032325277","https://openalex.org/W3032987964","https://openalex.org/W3033555834","https://openalex.org/W3043106249","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W2765138172","https://openalex.org/W2267662957","https://openalex.org/W4386473299","https://openalex.org/W2546798534","https://openalex.org/W2043798931","https://openalex.org/W2127474028","https://openalex.org/W2371917763","https://openalex.org/W2384323377","https://openalex.org/W2123968647","https://openalex.org/W4238125051"],"abstract_inverted_index":{"In":[0],"this":[1],"article,":[2],"we":[3],"propose":[4],"an":[5,16,49,99],"online":[6,100],"fault":[7],"diagnosis":[8,78,87,92],"approach":[9,122],"for":[10,95],"labeled":[11],"Petri":[12,110],"nets.":[13],"When":[14,107],"observing":[15],"event,":[17,98],"the":[18,22,26,35,55,62,68,91,108,120,130],"reachability":[19,56,69],"graph":[20,57,70,93],"of":[21,29,52,54,117],"unobservable":[23,32,118],"subnet":[24],"(i.e.,":[25,48],"net":[27,111],"consisting":[28],"all":[30],"places,":[31],"transitions,":[33,119],"and":[34,43],"attached":[36],"arcs":[37],"between":[38],"them)":[39],"is":[40,58,71,102],"first":[41],"constructed":[42,94],"then":[44],"a":[45,74,82,86,114,124],"topological":[46,63],"sort":[47],"ordered":[50],"list":[51],"markings)":[53],"obtained.":[59],"According":[60],"to":[61,80,104],"sort,":[64],"each":[65,96],"marking":[66],"in":[67],"associated":[72],"with":[73,129],"vector":[75],"that":[76],"contains":[77],"information":[79],"form":[81],"new":[83],"graph,":[84],"called":[85],"graph.":[88],"Based":[89],"on":[90],"observed":[97],"algorithm":[101],"developed":[103],"perform":[105],"diagnosis.":[106],"considered":[109],"systems":[112],"have":[113],"small":[115],"amount":[116],"proposed":[121],"enjoys":[123],"high":[125],"computational":[126],"efficiency":[127],"compared":[128],"existing":[131],"ones":[132],"using":[133],"integer":[134],"linear":[135],"programming.":[136]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
