Experiences in Modelling Feature Interactions with Coloured Petri Nets.

Louise Lorentsen Antti-Pekka Tuovinen Jianli Xu

Published in: Acta Cybern. (2002)

Keyphrases

coloured petri nets
feature interactions
formal verification
case study
data sets
image processing
multiscale
neural network
decision making
evolutionary algorithm
domain knowledge
probabilistic model
model checking
conceptual modelling