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

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.