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