From Local to Global Consistency in Distributed Monitoring of Petri Net Models

• 成果类型: Article
• 署名作者: Jiroveanu, George; Boel, Rene K. K.
• 署名单位: Ghent University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2022.3141708
• 发表日期: 2023
• 页码: 494-501
• 关键词: Distributed monitoring; global consistency (GC); local consistency (LC); petri nets (PN)

摘要

In this technical article we consider a distributed analysis of a plant given by local petri net models (components) that interact via shared transitions. For each component, there is a local agent that performs local calculations and exchanges information with its neighbours for monitoring the plant. We relax the standard requirement that the interaction graph between components is a tree and, for the general case, we investigate under which conditions the local consistency of the local estimates imply their global consistency. Moreover, we show that if the information exchanged between agents incorporates additional information related to the execution time intervals of the shared transitions, the globally consistent estimates become equal to the results derived in a CR.