{"id":"https://openalex.org/W4206096853","doi":"https://doi.org/10.1109/tac.2022.3141708","title":"From Local to Global Consistency in Distributed Monitoring of Petri Net Models","display_name":"From Local to Global Consistency in Distributed Monitoring of Petri Net Models","publication_year":2022,"publication_date":"2022-01-10","ids":{"openalex":"https://openalex.org/W4206096853","doi":"https://doi.org/10.1109/tac.2022.3141708"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2022.3141708","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2022.3141708","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/A5000666980","display_name":"George Jiroveanu","orcid":"https://orcid.org/0000-0002-0182-8622"},"institutions":[{"id":"https://openalex.org/I4210145726","display_name":"National Bank of Romania","ror":"https://ror.org/044nbg291","country_code":"RO","type":"other","lineage":["https://openalex.org/I4210145726"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"George Jiroveanu","raw_affiliation_strings":["CNTEE - Romanian National Power Grid Company, Bucharest, Romania"],"raw_orcid":"https://orcid.org/0000-0002-0182-8622","affiliations":[{"raw_affiliation_string":"CNTEE - Romanian National Power Grid Company, Bucharest, Romania","institution_ids":["https://openalex.org/I4210145726"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047247035","display_name":"Ren\u00e9 Boel","orcid":"https://orcid.org/0000-0002-2128-5397"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Rene K. Boel","raw_affiliation_strings":["ELIA - SYSTeMS Research Group, University of Ghent, Ghent, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-2128-5397","affiliations":[{"raw_affiliation_string":"ELIA - SYSTeMS Research Group, University of Ghent, Ghent, Belgium","institution_ids":["https://openalex.org/I32597200"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1521,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45708342,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"68","issue":"1","first_page":"494","last_page":"501"},"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.9965999722480774,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.8825207948684692},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.807499349117279},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6443997025489807},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6039361357688904},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5801806449890137},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5282701253890991},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.5080056190490723},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4688882529735565},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4482736587524414},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.29726970195770264},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2020496129989624},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.120806485414505},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07111907005310059}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8825207948684692},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.807499349117279},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6443997025489807},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6039361357688904},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5801806449890137},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5282701253890991},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.5080056190490723},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4688882529735565},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4482736587524414},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.29726970195770264},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2020496129989624},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.120806485414505},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07111907005310059},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2022.3141708","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2022.3141708","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":18,"referenced_works":["https://openalex.org/W141742360","https://openalex.org/W1529059198","https://openalex.org/W1893974348","https://openalex.org/W1966651017","https://openalex.org/W1966992415","https://openalex.org/W1968681587","https://openalex.org/W1996043796","https://openalex.org/W1996109622","https://openalex.org/W2013173096","https://openalex.org/W2067475154","https://openalex.org/W2100968350","https://openalex.org/W2101282755","https://openalex.org/W2102419714","https://openalex.org/W2160493082","https://openalex.org/W2403044140","https://openalex.org/W2991159168","https://openalex.org/W6605715422","https://openalex.org/W6631656236"],"related_works":["https://openalex.org/W3010022189","https://openalex.org/W2949499328","https://openalex.org/W4301894417","https://openalex.org/W2805810362","https://openalex.org/W2971748376","https://openalex.org/W2098650100","https://openalex.org/W2126644037","https://openalex.org/W3000358352","https://openalex.org/W1601656782","https://openalex.org/W2560551601"],"abstract_inverted_index":{"In":[0],"this":[1],"technical":[2],"article":[3],"we":[4,65,82],"consider":[5],"a":[6,10,29,58,115],"distributed":[7],"analysis":[8],"of":[9,73,100],"plant":[11],"given":[12],"by":[13],"local":[14,30,34,71,75],"petri":[15],"net":[16],"models":[17],"(components)":[18],"that":[19,32,51,84],"interact":[20],"via":[21],"shared":[22,102],"transitions.":[23],"For":[24],"each":[25],"component,":[26],"there":[27],"is":[28,57],"agent":[31],"performs":[33],"calculations":[35],"and":[36],"exchanges":[37],"information":[38,87,93],"with":[39],"its":[40],"neighbours":[41],"for":[42,61],"monitoring":[43],"the":[44,48,52,62,70,74,86,96,101,104,111],"plant.":[45],"We":[46],"relax":[47],"standard":[49],"requirement":[50],"interaction":[53],"graph":[54],"between":[55,89],"components":[56],"tree":[59],"and,":[60],"general":[63],"case,":[64],"investigate":[66],"under":[67],"which":[68],"conditions":[69],"consistency":[72],"estimates":[76,107],"imply":[77],"their":[78],"global":[79],"consistency.":[80],"Moreover,":[81],"show":[83],"if":[85],"exchanged":[88],"agents":[90],"incorporates":[91],"additional":[92],"related":[94],"to":[95,110],"execution":[97],"time":[98],"intervals":[99],"transitions,":[103],"globally":[105],"consistent":[106],"become":[108],"equal":[109],"results":[112],"derived":[113],"in":[114],"CR.":[116]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}