Reachability trees for Petri nets: a heuristic approach.

Garimella Uma Bandreddi E. Prasad

Published in: Knowl. Based Syst. (1993)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
high level petri nets
optimal solution
state space
fuzzy petri net
service composition
state machines
stochastic petri net
ims ld
concurrent systems
dynamic programming
expert systems
discrete dynamical systems
knowledge base