Modelling and Verification with Jumping Petri Nets.

Cristian Vidrascu

Published in: Sci. Ann. Cuza Univ. (2004)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
manufacturing systems
high level petri nets
service composition
fuzzy petri net
ims ld
stochastic petri net
model checking
state machines
sequence diagrams
discrete dynamical systems
natural language
knowledge acquisition