LAUSR.org creates dashboard-style pages of related content for over 1.5 million academic articles. Sign Up to like articles & get recommendations!

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

Photo by makcedward from unsplash

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… Click to show full abstract

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.

Keywords: consistency; global consistency; local global; consistency distributed; net models; petri net

Journal Title: IEEE Transactions on Automatic Control
Year Published: 2023

Link to full text (if available)


Share on Social Media:                               Sign Up to like & get
recommendations!

Related content

More Information              News              Social Media              Video              Recommended



                Click one of the above tabs to view related content.