Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs.

Chao Gu Ziyue Ma Zhiwu Li Alessandro Giua

Published in: CoRR (2021)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
manufacturing systems
fuzzy petri net
service composition
high level petri nets
ims ld
state space
state machines
stochastic petri net
low cost
dynamic systems