-Safe Petri Nets.

Gregor von Bochmann Guy-Vincent Jourdan

Published in: TestCom/FATES (2009)

Keyphrases

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