Login / Signup
Computing bounds for forbidden State reachability functions for controlled Petri nets.
Lawrence E. Holloway
A. S. Khare
Yu Gong
Published in:
IEEE Trans. Syst. Man Cybern. Part A (2004)
Keyphrases
</>
petri net
state space
manufacturing systems
petri net model
discrete event systems
process model
colored petri nets
state machines
fuzzy petri net
high level petri nets
high dimensional
ims ld
sequence diagrams
programmable logic controller