{"id":"https://openalex.org/W1971540655","doi":"https://doi.org/10.1109/cdc.2012.6426235","title":"Petri net diagnoser for DES modeled by finite state automata","display_name":"Petri net diagnoser for DES modeled by finite state automata","publication_year":2012,"publication_date":"2012-12-01","ids":{"openalex":"https://openalex.org/W1971540655","doi":"https://doi.org/10.1109/cdc.2012.6426235","mag":"1971540655"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2012.6426235","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2012.6426235","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 51st IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-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/A5001743340","display_name":"Marcos V. Moreira","orcid":"https://orcid.org/0000-0001-5661-2637"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcos V. Moreira","raw_affiliation_strings":["COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil","COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Universitria, Ilha do Fundo, 21.945-970, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]},{"raw_affiliation_string":"COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Universitria, Ilha do Fundo, 21.945-970, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033819712","display_name":"Felipe G. Cabral","orcid":"https://orcid.org/0000-0002-1676-9805"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Felipe G. Cabral","raw_affiliation_strings":["Department of Electrical Engineering, Universidade Federal do Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil","Department of Electrical Engineering, Universidade Federal do Rio de Janeiro, Cidade Universitria, Ilha do Fundo, 21.945-970, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Universidade Federal do Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]},{"raw_affiliation_string":"Department of Electrical Engineering, Universidade Federal do Rio de Janeiro, Cidade Universitria, Ilha do Fundo, 21.945-970, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051234357","display_name":"Oumar Diene","orcid":"https://orcid.org/0000-0001-5069-1290"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Oumar Diene","raw_affiliation_strings":["COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil","COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Universitria, Ilha do Fundo, 21.945-970, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]},{"raw_affiliation_string":"COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Universitria, Ilha do Fundo, 21.945-970, Brazil","institution_ids":["https://openalex.org/I122140584"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6946,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69679531,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"6742","last_page":"6748"},"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.9951000213623047,"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.9940000176429749,"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.9269817471504211},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7474291324615479},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.722318172454834},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.7160062789916992},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.5505162477493286},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5142452120780945},{"id":"https://openalex.org/keywords/ladder-logic","display_name":"Ladder logic","score":0.4936336278915405},{"id":"https://openalex.org/keywords/state-diagram","display_name":"State diagram","score":0.48473379015922546},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4813988208770752},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.48015326261520386},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4645312428474426},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.4569317698478699},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4159398674964905},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4138590693473816},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12299937009811401},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.06889462471008301}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9269817471504211},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7474291324615479},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.722318172454834},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.7160062789916992},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.5505162477493286},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5142452120780945},{"id":"https://openalex.org/C44986683","wikidata":"https://www.wikidata.org/wiki/Q1411875","display_name":"Ladder logic","level":3,"score":0.4936336278915405},{"id":"https://openalex.org/C16671368","wikidata":"https://www.wikidata.org/wiki/Q230885","display_name":"State diagram","level":3,"score":0.48473379015922546},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4813988208770752},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.48015326261520386},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4645312428474426},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.4569317698478699},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4159398674964905},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4138590693473816},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12299937009811401},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.06889462471008301},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2012.6426235","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2012.6426235","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 51st IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1505489763","https://openalex.org/W1964155605","https://openalex.org/W1985787415","https://openalex.org/W2010108014","https://openalex.org/W2020045686","https://openalex.org/W2074514038","https://openalex.org/W2075189070","https://openalex.org/W2081336954","https://openalex.org/W2108963340","https://openalex.org/W2110388557","https://openalex.org/W2125493492","https://openalex.org/W2129997081","https://openalex.org/W2131628306","https://openalex.org/W2170521616","https://openalex.org/W2172083724","https://openalex.org/W2509841691","https://openalex.org/W6669023130","https://openalex.org/W6671297099","https://openalex.org/W6685204738"],"related_works":["https://openalex.org/W1615655979","https://openalex.org/W1525970584","https://openalex.org/W2019878113","https://openalex.org/W2114474728","https://openalex.org/W2133993779","https://openalex.org/W2187236786","https://openalex.org/W1147607437","https://openalex.org/W2120722979","https://openalex.org/W3188541011","https://openalex.org/W3186741169"],"abstract_inverted_index":{"Fault":[0],"detection":[1],"and":[2,61,108],"isolation":[3],"is":[4,94],"an":[5],"essential":[6],"task":[7],"in":[8,19,24,50,58],"automated":[9],"manufacturing":[10],"systems":[11],"and,":[12],"as":[13],"such,":[14],"has":[15],"received":[16],"considerable":[17],"attention":[18],"the":[20,59,64,77,106,110,115],"literature.":[21],"We":[22],"propose":[23],"this":[25],"paper":[26],"a":[27,35,42,67,74,80,83,89,101],"Petri":[28,68],"net":[29,69],"approach":[30],"to":[31,100],"online":[32],"diagnosis":[33,47],"of":[34,66,79,112,114],"discrete":[36],"event":[37],"system":[38],"(DES)":[39],"modeled":[40],"by":[41],"finite":[43],"state":[44],"automaton.":[45],"The":[46,96],"method":[48,75,98],"requires,":[49],"general,":[51],"less":[52],"memory":[53],"than":[54],"other":[55],"methods":[56],"proposed":[57],"literature":[60],"relies":[62],"on":[63,88],"computation":[65],"diagnoser":[70],"(PND).":[71],"In":[72],"addition,":[73],"for":[76,86],"conversion":[78,97],"PND":[81],"into":[82],"ladder":[84,102],"diagram":[85,103],"implementation":[87],"programmable":[90],"logic":[91],"controller":[92],"(PLC)":[93],"presented.":[95],"leads":[99],"that":[104],"preserves":[105],"structure":[107],"represents":[109],"evolution":[111],"tokens":[113],"PND.":[116]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}