Towards Self-Managed Executable Petri Nets.

Klaus Marius Hansen Weishan Zhang Mads Ingstrup

Published in: SASO (2008)

Keyphrases

petri net
process algebra
service oriented
concurrent systems
manufacturing systems
petri net model
fuzzy petri net
discrete event systems
service composition
formal specification
colored petri nets
process model
stochastic petri net
state machines
ims ld
control flow
discrete dynamical systems