On Liveness Enforcement of Distributed Petri Net Systems.

Daniel Clavel Cristian Mahulea Manuel Silva

Published in: CoRR (2020)

Keyphrases

petri net
discrete event systems
distributed systems
petri net model
manufacturing systems
computer systems
concurrent processes
embedded real time systems
expert systems
human brain
ims ld
reactive systems