S-Invariance in Predicate/Transition Nets.

Hartmann J. Genrich Kurt Lautenbach

Published in: European Workshop on Applications and Theory of Petri Nets (1982)

Keyphrases

first order logic
discriminative power
databases
invariant features
invariant properties
expert systems
image analysis
computational cost
knowledge representation