Koutny, M.

• Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej:
  A Petri Net Translation of n-Calculus Terms. 2006.

• Iliasov, Alexei; Khomenko, Victor; Koutny, Maciej; Romanovsky, Alexander:
  On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. 2006.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged processes: a new condensed representation of Petri net behaviour. .

• Khomenko, Victor; Koutny, Maciej:
  Verification of bounded Petri nets using integer programming. 2006.

• Kleijn, H. C. M.; Koutny, M.:
  Infinite Process Semantics of Inhibitor Nets. 2006.

• Kleijn, Jetty; Koutny, Maciej:
  Synchrony and Asynchrony in Membrane Systems. 2006.

• Koutny, Maciej; Pietkiewicz-Koutny, Marta:
  Transition Systems of Elementary Net Systems with Localities. 2006.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged processes: a new condensed representation of Petri net behaviour. 2006.

• Bryans, Jeremy; Koutny, Maciej; Mazaré, Laurent; Ryan, Peter:
  Opacity Generalised to Transition Systems. 2006.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged Processes - A New Condensed Representation of Petri Net Behaviour. 2005.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged Processes - A New Condensed Representation of Petri Net Behaviour. 2005.

• Kleijn, H.C.M.; Koutny, M.:
  Process semantics of general inhibitor nets. 2004.

• Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej:
  Petri Net Semantics of the Finite pi-Calculus. 2004.

• Best, Eike; Koutny, Maciej:
  Process Algebra: A Petri-Net-Oriented Tutorial. 2004.

• Devillers, R.; Klaudel, Hanna; Koutny, M.:
  Context-based Process Algebras for Mobility. 2004.

• Khomenko, Victor; Koutny, Maciej; Yakovlev, Alex:
  Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. 2004.

• Khomenko, Victor; Koutny, Maciej; Yakovlev, Alex:
  Detecting State Coding Conflicts in STG Unfoldings Using SAT. 2003.

• Khomenko, Victor; Koutny, Maciej:
  Branching Processes of High-Level Petri Nets. 2003.

• Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej; Pommereau, Franck:
  An Algebra of Non-safe Petri Boxes. 2002.

• Khomenko, Victor; Koutny, Maciej; Vogler, Walter:
  Canonical Prefixes of Petri Net Unfoldings. 2002.

• Kleijn, H. C. M.; Koutny, M.:
  Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. 2002.

• Heljanko, Keijo; Khomenko, Victor; Koutny, Maciej:
  Parallelisation of the Petri Net Unfolding Algorithm. 2002.

• Best, E.; Devillers, R.; Koutny, M.:
  A unified model for nets and process algebra. 2001.

• Best, Eike; Devillers, Raymond; Koutny, Maciej:
  Recursion and Petri nets. 2001.

• Khomenko, Victor; Koutny, Maciej:
  Towards an Efficient Algorithm for Unfolding Petri Nets. 2001.

• Khomenko, V.; Koutny, M.:
  LP deadlock checking using partial order dependencies. 2000.

• Kleijn, Jetty; Koutny, Maciej:
  Process Semantics of P/T-Nets with Inhibitor Arcs. 2000.

• Koutny, Maciej:
  A Compositional Model of Time Petri Nets. 2000.

• Burns, A.; Wellings, A.J.; Burns, F.; Koelmans, A.M.; Koutny, M.; Romanovsky, A.; Yakovlev, A.:
  Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets. 2000.

• Janicki, R.; Koutny, M.:
  On causality semantics of nets with priorities. 1999.

• Janicki, R.; Koutny, M.:
  On causality semantics of nets with priorities. 1999.

• Koutny, M.; Best, E.:
  Operational and denotational semantics for the box algebra. 1999.

• Best, Eike; Devillers, Raymond; Koutny, Maciej:
  The Box Algebra - A Model of Nets and Process Expressions. 1999.

• Best, E.; Devillers, R.; Koutny, M.:
  Petri Nets, Process Algebras and Concurrent Programming Languages. 1998.

• Devillers, R.; Koutny, M.:
  Recursive nets in the box calculus. 1998.

• Hesketh, Martin; Koutny, Maciej:
  An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. 1998.

• Anisimov, N.A.; Koutny, M.:
  Compositional Petri Nets in Protocol Engineering. 1997.

• Anisimov, N.A.; Koutny, M.:
  On compositionality and Petri nets in protocol engineering. 1996.

• Best, E.; Koutny, M.:
  A Refined View of the Box Algebra. 1995.

• Koutny, Maciej:
  Partial Order Semantics of Box Expressions. 1994.

• Best, E.; Koutny, M.:
  Petri Net Semantics of Priority Systems. 1992.

• Janicki, R.; Koutny, M.:
  Invariants and paradigms of concurrency theory. 1992.

• Koutny, Maciej:
  Modelling Systems with Dynamic Priorities. 1992.

• Janicki, R.; Koutny, M.:
  Invariants and Paradigms of Concurrency Theory. 1991.

• Janicki, Ryszard; Koutny, Maciej:
  Optimal Simulations, Nets and Reachability Graphs. 1991.

• Janicki, Ryszard; Koutny, Maciej:
  Invariant Semantics of Nets with Inhibitor Arcs. 1991.

• Janicki, Ryszard; Koutny, Maciej:
  A Bottom-Top Approach to Concurrency Theory. Part I: Observations, Invariants and Paradigms. 1990.

• Janicki, Ryszard; Koutny, Maciej:
  Generalised Invariant Semantics of Concurrent Systems. 1990.

• Janicki, Ryszard; Koutny, Maciej:
  Is There a Life Beyond Partial Order Semantics?. 1990.

• Janicki, Ryszard; Koutny, Maciej:
  Net Implementations of Optimal Simulations. 1990.

• Best, Eike; Koutny, Maciej:
  Partial Order Semantics of Priority Systems. 1990.

• Janicki, R.; Koutny, M.:
  Towards a Theory of Simulation for Verification of Concurrent Systems. 1989.

• Janicki, R.; Koutny, M.:
  On Equivalent Execution Semantics of Concurrent Systems. 1987.

• Janicki, R.; Lauer, P.E.; Koutny, M.; Devillers, R.:
  Concurrent and Maximally Concurrent Evolution of Non-sequential Systems. 1985.

• Khomenko, V.; Koutny, M.; Niaouris, A.:
  Applying Petri Net Unfoldings for Verification of Mobile Systems. 06.

Back to the Petri Nets Bibliography