Login / Signup
Lean Reachability Tree for Unbounded Petri Nets.
Jun Li
Xiaolong Yu
MengChu Zhou
Xianzhong Dai
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2018)
Keyphrases
</>
petri net
petri net model
fuzzy petri net
high level petri nets
manufacturing systems
colored petri nets
discrete event systems
ims ld
concurrent systems
stochastic petri net
service composition
state space
process model
sequence diagrams
discrete dynamical systems
programmable logic controller
neural network