#### Filter Results:

- Full text PDF available (97)

#### Publication Year

1984

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
- Int. J. Inf. Sec.
- 2005

Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the work on information flow. In particular, we establish… (More)

- Eike Best, Raymond R. Devillers, Maciej Koutny
- Monographs in Theoretical Computer Science. An…
- 2001

- Ryszard Janicki, Maciej Koutny
- Inf. Comput.
- 1995

- Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan
- Electr. Notes Theor. Comput. Sci.
- 2005

We consider opacity as a property of the local states of the secure (or high-level) part of the system, based on the observation of the local states of a low-level part of the system as well as actions. We propose a Petri net modelling technique which allows one to specify different information flow properties, using suitably defined observations of system… (More)

- Victor Khomenko, Maciej Koutny, Walter Vogler
- CAV
- 2002

In this paper, we develop a general technique for truncating Petri net un-foldings, parameterized according to the level of information about the original unfolding one wants to preserve. Moreover, we propose a new notion of completeness of a truncated unfolding, which with the standard parameters is strictly stronger than that given in [5, 6], and is more… (More)

- Ryszard Janicki, Maciej Koutny
- AMAST
- 1991

- Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
- Workshop on Membrane Computing
- 2005

We consider the modelling of the behaviour of membrane systems using Petri nets. First, a systematic, structural, link is established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, localities are proposed as an extension of Petri nets. This leads to a locally maximal concurrency semantics for… (More)

- Eike Best, Maciej Koutny
- Application and Theory of Petri Nets
- 1995

This paper presents the operational semantics and the Petri net semantics of a fragment of the box algebra in tutorial style. For the operational semantics, induc-tive rules for marked expressions are given. For the net semantics, a general mechanism of refinement and relabelling is introduced, using which the connectives of the algebra are defined. A… (More)

- Victor Khomenko, Maciej Koutny
- CONCUR
- 2000

Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit such a semantics is to consider (finite prefixes of) net unfoldings — themselves a class of acyclic Petri nets — which contain enough information, albeit implicit, to reason about… (More)

- Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
- DATE
- 2002

The paper presents a new method for checking Uniqueand Complete State Coding, the crucial conditions in thesynthesis of asynchronous control circuits from Signal TransitionGraphs (STGs). The method detects state coding conflictsin an STG using its partial order semantics (unfoldingprefix) and an integer programming technique. This leads tohuge memory… (More)