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

George Jiroveanu René K. Boel

Published in: IEEE Trans. Autom. Control. (2023)

Keyphrases

petri net
global consistency
stochastic petri net
process model
manufacturing systems
discrete event systems
colored petri nets
search algorithm
distributed systems
holonic manufacturing systems
special case
data integration
complex systems
integrity constraints
ims ld
petri net model