Compositional Synthesis of Live and Bounded Free Choice Petri Nets.

Javier Esparza Manuel Silva Suárez

Published in: CONCUR (1991)

Keyphrases

petri net
petri net model
manufacturing systems
high level petri nets
discrete event systems
colored petri nets
fuzzy petri net
stochastic petri net
state machines
real time
ims ld
concurrent systems
concurrent processes
low cost
artificial intelligence
discrete dynamical systems
genetic algorithm