Property specification for coloured Petri nets.

Ella E. Roubtsova

Published in: SMC (3) (2004)

Keyphrases

coloured petri nets
formal verification
model checking
machine learning
formal specification
real time
high level
desirable properties
database
neural network
information retrieval
computer vision
information systems
case study
multiresolution
specification language