How to Find Invariants for Coloured Petri Nets.

Published in: MFCS (1981)

Keyphrases

coloured petri nets
formal verification
moment invariants
invariant features
pattern recognition
imperative programs
affine moment invariants
databases
wide range
neural network
feature extraction
metadata
artificial intelligence
geometric invariants
information retrieval
quasi invariant
machine learning