Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait.

GuanJun Liu LiJing Chen

Published in: Int. J. Syst. Sci. (2016)

Keyphrases

petri net
petri net model
manufacturing systems
colored petri nets
high level petri nets
discrete event systems
state machines
stochastic petri net
process model
service composition
ims ld
concurrent systems
programmable logic controller
neural network
discrete dynamical systems
genetic algorithm