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

From MaRDI portal
Publication:6137530