From Code to Coloured Petri Nets: Modelling Guidelines.

Anna Dedova Laure Petrucci

Published in: PNSE (2012)

Keyphrases

coloured petri nets
formal verification
source code
real world
neural network
data mining
artificial neural networks
real time
machine learning
learning algorithm
artificial intelligence
information systems
case study
multi agent
expert systems
clinical guidelines