A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.

Laura Carnevali Leonardo Grassi Enrico Vicario

Published in: Ada-Europe (2008)

Keyphrases

petri net
petri net model
colored petri nets
stochastic petri net
high level petri nets
discrete event systems
neural network
process model
data analysis
mathematical model
manufacturing systems
model based diagnosis
concurrent systems
embedded real time systems