Equilibrium and termination II: the case of Petri nets.

Vincent Danos Nicolas Oury

Published in: Math. Struct. Comput. Sci. (2013)

Keyphrases

petri net
discrete event systems
manufacturing systems
petri net model
colored petri nets
high level petri nets
service composition
stochastic petri net
process model
concurrent systems
fuzzy petri net
multi agent systems
ims ld
sequence diagrams