Coloured Petri Nets: Status and Outlook.

Published in: ICATPN (2003)

Keyphrases

coloured petri nets
formal verification
current status
databases
data mining
knowledge base
bayesian networks
object recognition
high dimensional
image analysis
domain knowledge
domain specific