Towards Parametric Verification of Prioritized Time Petri Nets.

Anna Dedova Irina B. Virbitskaite

Published in: PaCT (2009)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
discrete event systems
high level petri nets
service composition
ims ld
fuzzy petri net
sequence diagrams
state machines
stochastic petri net
model checking
discrete dynamical systems
programmable logic controller
low cost