On the invariants of coloured Petri nets.

Y. Narahari Nukala Viswanadham

Published in: Applications and Theory in Petri Nets (1985)

Keyphrases

coloured petri nets
formal verification
moment invariants
imperative programs
quasi invariant
wide range
invariant features
relational databases
affine moment invariants
geometric invariants
data sets
search algorithm
similarity measure
computer vision
genetic algorithm
data mining
neural network