On Coverability Structures for Jumping Petri Nets.

Cristian Vidrascu Toader Jucan

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

Keyphrases

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