Channel Properties of Asynchronously Composed Petri Nets.

Serge Haddad Rolf Hennicker Mikael H. Møller

Published in: Petri Nets (2013)

Keyphrases

petri net
discrete event systems
petri net model
fuzzy petri net
manufacturing systems
high level petri nets
ims ld
colored petri nets
service composition
model checking
process model
state machines
concurrent systems
sequence diagrams
low cost
discrete dynamical systems
neural network