A Brief Introduction to Coloured Petri Nets.

Published in: TACAS (1997)

Keyphrases

coloured petri nets
formal verification
real time
data sets
computer vision
image processing
pattern recognition
management system
data mining
keywords
data model
social media
case based reasoning