Using State Equation to Prove Non-Reachability in Timed Petrinets.

Louchka Popova-Zeugmann Matthias Werner Jan Richling

Published in: Fundam. Informaticae (2003)

Keyphrases

state space
petri net
artificial neural networks
database
neural network
genetic algorithm
image processing