A Survey on Non-interference with Petri Nets.

Nadia Busi Roberto Gorrieri

Published in: Lectures on Concurrency and Petri Nets (2003)

Keyphrases

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