J. W. Bryans, M. Koutny, and P. Y. A. Ryan, "Modelling opacity using Petri nets," Electronic Notes in Theoretical Computer Science, vol. 121, pp. 101-115, 2005.J. Bryans, M. Koutny, P. Ryan: Modelling opacity using Petri Nets. Proc. of the 2nd Int. Workshop on Security ...
Ryan, "Modelling dynamic opacity using Petri nets with silent actions," in Formal Aspects in Security and Trust. New York, NY: Springer, 2005, vol. 173, pp. 159-172.J. W. Bryans, M. Koutny, and P. Y. A. Ryan, Modelling dynamic opacity using Petri nets with silent actions, ser....
This work deals with the problem of current-state opacity formulation and verification in the context of discrete event systems modelled with partially observed Petri nets (POPNs) (i.e., Petri nets containing place sensors that measure the number of tokens in observable places and event sensors ...
This work deals with the problem of current-state opacity formulation and verification in the context of discrete event systems modelled with partially observed Petri nets (POPNs) (i.e., Petri nets containing place sensors that measure the number of tokens in observable places and event sensors ...