Deciding Selective Declassification of Petri Nets.

Eike Best Philippe Darondeau

Published in: POST (2012)

Keyphrases

petri net
manufacturing systems
petri net model
high level petri nets
discrete event systems
colored petri nets
fuzzy petri net
state machines
ims ld
discrete dynamical systems
service composition
concurrent systems
stochastic petri net
control system