Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach.

Chao Gu Ziyue Ma Zhiwu Li Alessandro Giua

Published in: CDC (2019)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
discrete event systems
model checking
high level petri nets
service composition
ims ld
fuzzy petri net
process model
state machines
discrete dynamical systems
genetic algorithm
distributed systems
web services