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