Login / Signup
Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets.
Faming Lu
Qingtian Zeng
MengChu Zhou
Yunxia Bao
Hua Duan
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2019)
Keyphrases
</>
object oriented
petri net
deadlock detection
manufacturing systems
discrete event systems
distributed database systems
petri net model
stochastic petri net
database
expert systems
high dimensional
data warehouse
intrusion detection
complex systems