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

Chao Gu Ziyue Ma Zhiwu Li Alessandro Giua

Published in: IEEE Control. Syst. Lett. (2022)

Keyphrases

ims ld
petri net
petri net model
colored petri nets
concurrent systems
high level petri nets
manufacturing systems
discrete event systems
fuzzy petri net
service composition
process model
stochastic petri net
artificial intelligence
programmable logic controller
state machines
low cost
rough sets
learning process