Local Enforceability in Interaction Petri Nets.

Gero Decker Mathias Weske

Published in: BPM (2007)

Keyphrases

petri net
petri net model
manufacturing systems
high level petri nets
discrete event systems
colored petri nets
fuzzy petri net
service composition
ims ld
stochastic petri net
process model
state machines
concurrent systems