Share This Author
Opacity generalised to transition systems
- J. Bryans, M. Koutny, L. Mazaré, P. Ryan
- Computer ScienceInternational Journal of Information Security
- 18 July 2005
The notion of opacity is extended to the model of labelled transition systems and generalised in order to better represent concepts from the literature on information flow, and links between opacity and the information flow concepts of anonymity and non-inference are established.
Semantics of Inhibitor Nets
An abstract semantics of concurrent systems generalising causal partial orders generalising Mazurkiewicz traces is discussed and stratified order structures can provide an abstract semantics which is consistent with their operational semantics expressed in terms of step sequences.
Petri Net Algebra
- E. Best, Raymond R. Devillers, M. Koutny
- Computer ScienceMonographs in Theoretical Computer Science An…
This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process…
Modelling Opacity Using Petri Nets
Canonical prefixes of Petri net unfoldings
A general technique for truncating Petri net unfoldings, parameterized according to the level of information about the original unfolding one wants to preserve, is developed and a new notion of completeness of a truncated unfolding is proposed.
Journal of Computer and System Sciences Classifying invariant structures of step traces
This paper proposes a classiﬁcation of step alphabets as well as the corresponding step traces and relational structures representing them and explains how the original trace model is integrated into the overall framework.
Detecting state coding conflicts in STG unfoldings using SAT
- V. Khomenko, M. Koutny, A. Yakovlev
- Computer ScienceThird International Conference on Application of…
- 18 June 2003
This work avoids constructing the state graph of an STG, which can lead to state space explosion, and instead uses only the information about causality and structural conflicts between the events involved in a finite and complete prefix of its unfolding, which leads to huge memory savings when compared to methods based on state graphs, but also to significant speedups.
Petri Net Semantics of Priority Systems
Process semantics of general inhibitor nets
Towards a Petri Net Semantics for Membrane Systems
A systematic, structural link is established and localities are proposed as an extension of Petri nets to capture the compartmentisation of membrane systems, which leads to a locally maximal concurrency semantics for Petrinets.