On iterative liveness-enforcement for a class of generalized Petri nets.

Yifan Hou Ding Liu MengChu Zhou

Published in: CASE (2012)

Keyphrases

petri net
petri net model
discrete event systems
high level petri nets
manufacturing systems
fuzzy petri net
service composition
colored petri nets
concurrent systems
stochastic petri net
discrete dynamical systems
process model
state machines
rough sets