Augmented reachability trees for 1-place-unbounded generalized Petri nets.

MuDer Jeng Mao Yu Peng

Published in: IEEE Trans. Syst. Man Cybern. Part A (1999)

Keyphrases

petri net
high level petri nets
petri net model
manufacturing systems
discrete event systems
state space
fuzzy petri net
colored petri nets
service composition
discrete dynamical systems
stochastic petri net
ims ld
genetic algorithm
process model
artificial intelligence
state machines
dynamical systems