Verification and Performance Evaluation of Parallel Pipelined Communications Using Petri Nets.

Stavros Souravlas Manos Roumeliotis

Published in: UKSim (2014)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
high level petri nets
fuzzy petri net
service composition
discrete event systems
stochastic petri net
manufacturing systems
state machines
model checking
discrete dynamical systems
data flow
genetic algorithm
neural network
ims ld
process model