Liveness in Timed and Untimed Systems.

Rainer Gawlick Roberto Segala Jørgen F. Søgaard-Andersen Nancy A. Lynch

Published in: ICALP (1994)

Keyphrases

petri net
genetic algorithm
intelligent systems
computing systems
data sets
databases
data mining
artificial intelligence
search engine
information systems
three dimensional
source code
computer systems
knowledge based systems
systems require