Login / Signup
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs.
Chao Gu
Ziyue Ma
Zhiwu Li
Alessandro Giua
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2022)
Keyphrases
</>
petri net
min max
petri net model
colored petri nets
concurrent systems
manufacturing systems
max min
max cut
service composition
discrete event systems
fuzzy petri net
production process
fuzzy logic
stochastic petri net
e learning
sequence diagrams
complex systems
state space
learning environment