Modelling Opacity Using Petri Nets.

Jeremy W. Bryans Maciej Koutny Peter Y. A. Ryan

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

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