A Relation-Algebraic Approach to Liveness of Place/Transition Nets.

Alexander Fronk Rudolf Berghammer

Published in: RelMiCS (2009)

Keyphrases

higher order
databases
data mining
algebraic structure
genetic algorithm
search engine
metadata
case study
high level
search algorithm
control system
binary relations