Symbolic Analysis of Bounded Petri Nets.

Enric Pastor Jordi Cortadella Oriol Roig

Published in: IEEE Trans. Computers (2001)

Keyphrases

petri net
colored petri nets
decision making
discrete event systems
petri net model
genetic algorithm
state machines