On the Decidability of Non Interference over Unbounded Petri Nets

Eike Best Philippe Darondeau Roberto Gorrieri

Published in: SecCo (2010)

Keyphrases

petri net
petri net model
description logics
manufacturing systems
discrete event systems
high level petri nets
colored petri nets
fuzzy petri net
ims ld
service composition
concurrent systems
stochastic petri net
programmable logic controller
process model
discrete dynamical systems
state machines
web services