A Modelling Approach with Coloured Petri Nets.

Christine Choppy Laure Petrucci Gianna Reggio

Published in: Ada-Europe (2008)

Keyphrases

coloured petri nets
formal verification
viewpoint
database
real time
artificial intelligence
decision trees
case study
three dimensional
cooperative
image analysis
special case
hidden markov models