On Causal Semantics of Petri Nets.

Rob J. van Glabbeek Ursula Goltz Jens-Wolfhard Schicke

Published in: CONCUR (2011)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
fuzzy petri net
service composition
state machines
process algebra
process model
concurrent systems
discrete dynamical systems
ims ld
logic programming
sequence diagrams
stochastic petri net