Symbolic Bisimulation for Timed Processes.

Michele Boreale

Published in: AMAST (1996)

Keyphrases

petri net
intermediate level
database
data mining
databases
genetic algorithm
artificial intelligence
bayesian networks
information technology
evolutionary algorithm
process model
symbolic representation
discrete event
connectionist models
connectionist systems