Functional Languages in Design of Coloured Petri Nets Models.
Stefan KoreckoPublished in: CEFP (2015)
Keyphrases
- coloured petri nets
- metamodel
- expressive power
- artificial neural networks
- prior knowledge
- statistical models
- modelling language
- artificial intelligence
- decision trees
- design process
- statistical model
- data sets
- design patterns
- computational models
- machine learning
- design methodology
- formal verification
- neural network