{"id":"https://openalex.org/W2069573889","doi":"https://doi.org/10.1109/tac.2015.2405293","title":"Diagnosis of Time Petri Nets Using Fault Diagnosis Graph","display_name":"Diagnosis of Time Petri Nets Using Fault Diagnosis Graph","publication_year":2015,"publication_date":"2015-02-24","ids":{"openalex":"https://openalex.org/W2069573889","doi":"https://doi.org/10.1109/tac.2015.2405293","mag":"2069573889"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2015.2405293","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2405293","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","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/A5100407855","display_name":"Xu Wang","orcid":"https://orcid.org/0000-0002-2113-8944"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Xu Wang","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain","Inst. de Investig. en Ing. de Aragon, Univ. de Zaragoza, Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]},{"raw_affiliation_string":"Inst. de Investig. en Ing. de Aragon, Univ. de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085504277","display_name":"Cristian Mahulea","orcid":"https://orcid.org/0000-0003-0056-2225"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Cristian Mahulea","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain","Inst. de Investig. en Ing. de Aragon, Univ. de Zaragoza, Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]},{"raw_affiliation_string":"Inst. de Investig. en Ing. de Aragon, Univ. de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100385306","display_name":"Manuel Silva","orcid":"https://orcid.org/0000-0001-8631-8770"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Manuel Silva","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain","Inst. de Investig. en Ing. de Aragon, Univ. de Zaragoza, Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]},{"raw_affiliation_string":"Inst. de Investig. en Ing. de Aragon, Univ. de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100407855"],"corresponding_institution_ids":["https://openalex.org/I255234318"],"apc_list":null,"apc_paid":null,"fwci":3.6484,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.93309359,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"60","issue":"9","first_page":"2321","last_page":"2335"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"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":1.0,"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.998199999332428,"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.9955999851226807,"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.991060197353363},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8348743915557861},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.6363555192947388},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6080405116081238},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5882965326309204},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5406560301780701},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44813215732574463},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.443922221660614},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4432177245616913},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4414742887020111},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.41982796788215637},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2807902693748474},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18194735050201416}],"concepts":[{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.991060197353363},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8348743915557861},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.6363555192947388},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6080405116081238},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5882965326309204},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5406560301780701},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44813215732574463},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.443922221660614},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4432177245616913},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4414742887020111},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.41982796788215637},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2807902693748474},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18194735050201416},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2015.2405293","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2405293","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W69929425","https://openalex.org/W1529059198","https://openalex.org/W1552861797","https://openalex.org/W1567452221","https://openalex.org/W1848859346","https://openalex.org/W1966547590","https://openalex.org/W1985787415","https://openalex.org/W2000518871","https://openalex.org/W2002281506","https://openalex.org/W2019970645","https://openalex.org/W2033839526","https://openalex.org/W2042801853","https://openalex.org/W2044981168","https://openalex.org/W2047158018","https://openalex.org/W2053922663","https://openalex.org/W2059057465","https://openalex.org/W2060166198","https://openalex.org/W2067475154","https://openalex.org/W2078389409","https://openalex.org/W2088664299","https://openalex.org/W2094370340","https://openalex.org/W2094461746","https://openalex.org/W2103078263","https://openalex.org/W2105163044","https://openalex.org/W2105389929","https://openalex.org/W2108963340","https://openalex.org/W2112135219","https://openalex.org/W2113375901","https://openalex.org/W2124470735","https://openalex.org/W2130855183","https://openalex.org/W2139167497","https://openalex.org/W2146817780","https://openalex.org/W2151612633","https://openalex.org/W2160493082","https://openalex.org/W2160792115","https://openalex.org/W2160915085","https://openalex.org/W2164002382","https://openalex.org/W2167117935","https://openalex.org/W3015129727","https://openalex.org/W4241747843","https://openalex.org/W6631656236","https://openalex.org/W6633204892","https://openalex.org/W6638886419","https://openalex.org/W6661958434","https://openalex.org/W6665904655","https://openalex.org/W6823951687"],"related_works":["https://openalex.org/W2614563012","https://openalex.org/W4293337373","https://openalex.org/W2008534419","https://openalex.org/W2151008975","https://openalex.org/W2792638268","https://openalex.org/W993532209","https://openalex.org/W2741602769","https://openalex.org/W1578306890","https://openalex.org/W4384915695","https://openalex.org/W2065742713"],"abstract_inverted_index":{"This":[0,119],"paper":[1],"proposes":[2],"an":[3],"online":[4],"approach":[5,68],"for":[6,135],"fault":[7,71],"diagnosis":[8,57,72,99,139,150],"of":[9,22,40,47,83,93,108,137],"timed":[10],"discrete":[11,51],"event":[12,52],"systems":[13],"modeled":[14],"by":[15],"Time":[16],"Petri":[17],"Net":[18],"(TPN).":[19],"The":[20,66,152],"set":[21],"transitions":[23],"is":[24,75,101,112,121,154],"partitioned":[25],"into":[26],"two":[27],"subsets":[28],"containing":[29],"observable":[30],"and":[31,62,124,148,160],"unobservable":[32,41,85,110],"transitions,":[33],"respectively.":[34,65],"Faults":[35],"correspond":[36],"to":[37,96,126,144],"a":[38,70,157],"subset":[39],"transitions.":[42],"In":[43],"accordance":[44],"with":[45],"most":[46],"the":[48,79,84,91,98,104,109,116,127,132,138,146,149],"literature":[49],"on":[50],"systems,":[53],"we":[54],"define":[55],"three":[56],"states,":[58,64],"namely":[59],"normal,":[60],"faulty":[61],"uncertain":[63],"proposed":[67],"uses":[69],"graph,":[73],"which":[74],"incrementally":[76],"computed":[77,113],"using":[78],"state":[80,105],"class":[81,106],"graph":[82,107,120],"TPN.":[86],"After":[87],"each":[88],"observation,":[89],"if":[90],"part":[92],"FDG":[94,129,147],"necessary":[95,133],"compute":[97,145],"states":[100],"not":[102],"available,":[103],"TPN":[111],"starting":[114],"from":[115],"consistent":[117],"states.":[118,140,151],"then":[122],"optimized":[123],"added":[125],"partial":[128],"keeping":[130],"only":[131],"information":[134],"computation":[136],"We":[141],"provide":[142],"algorithms":[143],"method":[153],"implemented":[155],"as":[156],"software":[158],"package":[159],"simulation":[161],"results":[162],"are":[163],"included.":[164]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-31T07:56:22.981413","created_date":"2025-10-10T00:00:00"}