Modelling Dynamic Opacity Using Petri Nets with Silent Actions.
Jeremy W. BryansMaciej KoutnyPeter Y. A. RyanPublished in: Formal Aspects in Security and Trust (2004)
Keyphrases
- petri net
- contract net protocol
- petri net model
- manufacturing systems
- colored petri nets
- discrete event systems
- state machines
- service composition
- stochastic petri net
- process model
- discrete dynamical systems
- ims ld
- computer systems
- human subjects
- concurrent systems
- concurrent processes
- programmable logic controller