Inference of Local Properties in Petri Nets Composed through an Interface
暂无分享,去创建一个
[1] Carla Simone,et al. A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.
[2] Luca Bernardinello,et al. Formal Tools for Modular System Development , 2004, ICATPN.
[3] G. Rozenberg,et al. Elementary transition systems , 1990 .
[4] Luca Bernardinello,et al. On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces , 2007, Fundam. Informaticae.
[5] Roberto Gorrieri,et al. A Survey on Non-interference with Petri Nets , 2003, Lectures on Concurrency and Petri Nets.
[6] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[7] Joost Engelfriet,et al. Elementary Net Systems , 1996, Applications and Theory of Petri Nets.
[8] Edward F. Moore,et al. Gedanken-Experiments on Sequential Machines , 1956 .
[9] Roberto Gorrieri,et al. Classification of Security Properties (Part I: Information Flow) , 2000, FOSAD.
[10] Roberto Gorrieri,et al. On the Decidability of Non Interference over Unbounded Petri Nets , 2010, SecCo.