From Code to Coloured Petri Nets: Modelling Guidelines.

Anna Dedova Laure Petrucci

Published in: Trans. Petri Nets Other Model. Concurr. (2013)

Keyphrases

coloured petri nets
formal verification
source code
website
decision trees
case study
decision support system
search engine
computer vision
bayesian networks
mobile robot
probabilistic model
software engineering
open source
software development
code generation