Identification of Regular Configurations with Partial Information. - Wojciech Zakowski; Maciej Koutny (Int. J. Man Mach. Stud., 1985)

Formal specification of N-modular redundancy. - Luigi V. Mancini; Maciej Koutny (ACM Conference on Computer Science, 1986)

On equivalent execution semantics of concurrent systems. - Ryszard Janicki; Maciej Koutny (European Workshop on Applications and Theory of Petri Nets, 1986)

The Merlin-Randell Problem of Train Journeys. - Maciej Koutny (Acta Informatica, 1986)

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. - Ryszard Janicki; Peter E. Lauer; Maciej Koutny; Raymond Devillers (Theor. Comput. Sci., 1986)

Towards A Theory Of Simulation For Verification Of Concurrent Systems. - Ryszard Janicki; Maciej Koutny (PARLE (2), 1989)

Synchronizing events in replicated systems. - Maciej Koutny; Luigi V. Mancini (J. Syst. Softw., 1989)

Optimal simulations, nets and reachability graphs. - Ryszard Janicki; Maciej Koutny (Applications and Theory of Petri Nets, 1990)

Using Optimal Simulations to Reduce Reachability Graphs. - Ryszard Janicki; Maciej Koutny (CAV, 1990)

On Some Implementation of Optimal Simulations. - Ryszard Janicki; Maciej Koutny (CAV (DIMACS/AMS volume), 1990)

Invariant Semantics of Nets with Inhibitor Arcs. - Ryszard Janicki; Maciej Koutny (CONCUR, 1991)

Formalising Replicated Distributed Processing. - Maciej Koutny; Luigi V. Mancini; Giuseppe Pappalardo (SRDS, 1991)

Axiom system induced by CTL* Logic. - Maciej Koutny (Fundam. Informaticae, 1991)

Modelling systems with dynamic priorities. - Maciej Koutny (Advances in Petri Nets: The DEMON Project, 1992)

Invariants and paradigms of concurrency theory. - Ryszard Janicki; Maciej Koutny (Future Gener. Comput. Syst., 1992)

Petri Net Semantics of Priority Systems. - Eike Best; Maciej Koutny (Theor. Comput. Sci., 1992)

Adequacy-Preserving Transformations of COSY Path Programs. - Maciej Koutny (Theor. Comput. Sci., 1992)

Order Structures and Generalisations of Szpilrajn's Theorem. - Ryszard Janicki; Maciej Koutny (FSTTCS, 1993)

Modelling Replicated Processing. - Maciej Koutny; Luigi V. Mancini; Giuseppe Pappalardo (PARLE, 1993)

Structure of Concurrency. - Ryszard Janicki; Maciej Koutny (Theor. Comput. Sci., 1993)

Partial Order Semantics of Box Expressions. - Maciej Koutny (Application and Theory of Petri Nets, 1994)

Operational Semantics for the Petri Box Calculus. - Maciej Koutny; Javier Esparza; Eike Best (CONCUR, 1994)

Projection in Temporal Logic Programming. - Zhenhua Duan; Maciej Koutny; Chris Holt (LPAR, 1994)

Deriving Histories of Nets with Priority Relation. - Ryszard Janicki; Maciej Koutny (PARLE, 1994)

Representations of Discrete Interval Orders and Semi-Orders. - Ryszard Janicki; Maciej Koutny (J. Inf. Process. Cybern., 1994)

A Refined View of the Box Algebra. - Eike Best; Maciej Koutny (Application and Theory of Petri Nets, 1995)

Solving Recursive Net Equations. - Eike Best; Maciej Koutny (ICALP, 1995)

On compositionality and Petri nets in protocol engineering. - Nikolay A. Anisimov; Maciej Koutny (PSTV, 1995)

Using net refinement to compute the fixpoint of a recursive. - Eike Best; Maciej Koutny (SEGRAGRA, 1995)

Semantics of Inhibitor Nets. - Ryszard Janicki; Maciej Koutny (Inf. Comput., 1995)

Petri Nets, Process Algebras and Concurrent Programming Languages. - Eike Best; Raymond Devillers; Maciej Koutny (Petri Nets (2), 1996)

Fundamentals of Modelling Concurrency Using Discrete Relational Structures. - Ryszard Janicki; Maciej Koutny (Acta Informatica, 1997)

Two Implementation Relations and the Correctness of Communicating Replicated Processes. - Maciej Koutny; Luigi V. Mancini; Giuseppe Pappalardo (Formal Aspects Comput., 1997)

Recursive Nets in the Box Algebra. - Raymond Devillers; Maciej Koutny (ACSD, 1998)

An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. - Martin Hesketh; Maciej Koutny (ICATPN, 1998)

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

A Model of Behaviour Abstraction for Communicating Processes. - Maciej Koutny; Giuseppe Pappalardo (STACS, 1999)

On Causality Semantics of Nets with Priorities. - Ryszard Janicki; Maciej Koutny (Fundam. Informaticae, 1999)

Peter Lauer and COSY. - Maciej Koutny (Fundam. Informaticae, 1999)

Operational and Denotational Semantics for the Box Algebra. - Maciej Koutny; Eike Best (Theor. Comput. Sci., 1999)

Process Semantics of P/T-Nets with Inhibitor Arcs. - H. C. M. Kleijn; Maciej Koutny (ICATPN, 2000)

A Compositional Model of Time Petri Nets. - Maciej Koutny (ICATPN, 2000)

LP Deadlock Checking Using Partial Order Dependencies. - Victor Khomenko; Maciej Koutny (CONCUR, 2000)

On developing and verifying design abstractions for reliable concurrent programming in Ada. - Alan Burns 001; Andy J. Wellings; Albert Koelmans; Maciej Koutny; Alexander B. Romanovsky; Alexandre Yakovlev (IRTAW, 2000)

Petri net algebra. - Eike Best; Raymond Devillers; Maciej Koutny (Springer, 2001)

A Unified Model for Nets and Process Algebras. - Eike Best; Raymond Devillers; Maciej Koutny (Handbook of Process Algebra, 2001)

Implementing Communicating Processes in the Event of Interface Difference. - Jonathan Burton; Maciej Koutny; Giuseppe Pappalardo (ACSD, 2001)

Towards an Efficient Algorithm for Unfolding Petri Nets. - Victor Khomenko; Maciej Koutny (CONCUR, 2001)

Verifying Implementation Relations. - Jonathan Burton; Maciej Koutny; Giuseppe Pappalardo (FME, 2001)

Recursion and Petri nets. - Eike Best; Raymond Devillers; Maciej Koutny (Acta Informatica, 2001)

Modelling and verification of an atomic action protocol implemented in Ada. - Alan Burns 001; Andy J. Wellings; Frank P. Burns; Albert Koelmans; Maciej Koutny; Alexander B. Romanovsky; Alexandre Yakovlev (Comput. Syst. Sci. Eng., 2001)

Behaviour Abstraction for Communicating Sequential Processes. - Maciej Koutny; Giuseppe Pappalardo (Fundam. Informaticae, 2001)

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

Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. - H. C. M. Kleijn; Maciej Koutny (CONCUR, 2002)

Visualization of Partial Order Models in VLSI Design Flow. - Alexandre V. Bystrov; Maciej Koutny; Alexandre Yakovlev (DATE, 2002)

Detecting State Coding Conflicts in STGs Using Integer Programming. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (DATE, 2002)

Parallelisation of the Petri Net Unfolding Algorithm. - Keijo Heljanko; Victor Khomenko; Maciej Koutny (TACAS, 2002)

The Box Algebra = Petri Nets + Process Expressions. - Eike Best; Raymond Devillers; Maciej Koutny (Inf. Comput., 2002)

Process Algebra: A Petri-Net-Oriented Tutorial. - Eike Best; Maciej Koutny (Lectures on Concurrency and Petri Nets, 2003)

Detecting State Coding Conflicts in STG Unfoldings Using SAT. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (ACSD, 2003)

Branching Processes of High-Level Petri Nets. - Victor Khomenko; Maciej Koutny (TACAS, 2003)

Canonical prefixes of Petri net unfoldings. - Victor Khomenko; Maciej Koutny; Walter Vogler (Acta Informatica, 2003)

Asynchronous Box Calculus. - Raymond Devillers; Hanna Klaudel; Maciej Koutny; Franck Pommereau (Fundam. Informaticae, 2003)

Context-based Process Algebras for Mobility. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (ACSD, 2004)

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (ACSD, 2004)

Petri Net Semantics of the Finite pi-Calculus. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (FORTE, 2004)

Modelling Dynamic Opacity Using Petri Nets with Silent Actions. - Jeremy W. Bryans; Maciej Koutny; Peter Y. A. Ryan (Formal Aspects in Security and Trust, 2004)

Modelling Opacity Using Petri Nets. - Jeremy W. Bryans; Maciej Koutny; Peter Y. A. Ryan (WISP@ICATPN, 2004)

Relating Communicating Processes with Different Interfaces. - Jonathan Burton; Maciej Koutny; Giuseppe Pappalardo (Fundam. Informaticae, 2004)

Detecting State Encoding Conflicts in STG Unfoldings Using SAT. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (Fundam. Informaticae, 2004)

Process semantics of general inhibitor nets. - H. C. M. Kleijn; Maciej Koutny (Inf. Comput., 2004)

A Framed Temporal Logic Programming Language. - Zhenhua Duan; Maciej Koutny (J. Comput. Sci. Technol., 2004)

Semantics of Framed Temporal Logic Programs. - Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny (ICLP, 2005)

Towards a Petri Net Semantics for Membrane Systems. - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Workshop on Membrane Computing, 2005)

A Petri Net Semantics of a Simple Process Algebra for Mobility. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (EXPRESS, 2005)

Towards an Algebra of Abstractions for Communicating Processes. - Maciej Koutny; Giuseppe Pappalardo; Marta Pietkiewicz-Koutny (ACSD, 2006)

Infinite Process Semantics of Inhibitor Nets. - H. C. M. Kleijn; Maciej Koutny (ICATPN, 2006)

Transition Systems of Elementary Net Systems with Localities. - Maciej Koutny; Marta Pietkiewicz-Koutny (CONCUR, 2006)

A Petri Net Translation of pi-Calculus Terms. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (ICTAC, 2006)

Synchrony and Asynchrony in Membrane Systems. - Jetty Kleijn; Maciej Koutny (Workshop on Membrane Computing, 2006)

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. - Alexei Iliasov; Victor Khomenko; Maciej Koutny; Alexander B. Romanovsky (RODIN Book, 2006)

Merged processes: a new condensed representation of Petri net behaviour. - Victor Khomenko; Alex Kondratyev; Maciej Koutny; Walter Vogler (Acta Informatica, 2006)

Petri Net Semantics of the Finite pi-calculus Terms. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (Fundam. Informaticae, 2006)

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (Fundam. Informaticae, 2006)

Process Semantics for Membrane Systems. - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (J. Autom. Lang. Comb., 2006)

Modelling Mobility in High-level Petri Nets. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (ACSD, 2007)

Failures: Their Definition, Modelling and Analysis. - Brian Randell; Maciej Koutny (ICTAC, 2007)

Verification of bounded Petri nets using integer programming. - Victor Khomenko; Maciej Koutny (Formal Methods Syst. Des., 2007)

Processes of Petri Nets with Range Testing. - Jetty Kleijn; Maciej Koutny (Fundam. Informaticae, 2007)

Modelling and Verification of Timed Interaction and Migration. - Gabriel Ciobanu; Maciej Koutny (FASE, 2008)

Towards Efficient Verification of Systems with Dynamic Process Creation. - Hanna Klaudel; Maciej Koutny; Elisabeth Pelz; Franck Pommereau (ICTAC, 2008)

A compositional Petri net translation of general pi -calculus terms. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (Formal Aspects Comput., 2008)

Synthesis of Elementary Net Systems with Context Arcs and Localities. - Maciej Koutny; Marta Pietkiewicz-Koutny (Fundam. Informaticae, 2008)

Opacity generalised to transition systems. - Jeremy W. Bryans; Maciej Koutny; Laurent Mazaré; Peter Y. A. Ryan (Int. J. Inf. Sec., 2008)

Framed temporal logic programming. - Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny (Sci. Comput. Program., 2008)

Processes of membrane systems with promoters and inhibitors. - Jetty Kleijn; Maciej Koutny (Theor. Comput. Sci., 2008)

Formal Languages and Concurrent Behaviours. - Jetty Kleijn; Maciej Koutny (New Developments in Formal Languages and Applications, 2008)

Applying Step Coverability Trees to Communicating Component-Based Systems. - Jetty Kleijn; Maciej Koutny (FSEN, 2009)

An approach to state space reduction for systems with dynamic process creation. - Hanna Klaudel; Maciej Koutny; Elisabeth Pelz; Franck Pommereau (ISCIS, 2009)

Synthesis of Petri Nets with Localities. - Maciej Koutny; Marta Pietkiewicz-Koutny (Sci. Ann. Comput. Sci., 2009)

Synthesis of Nets with Step Firing Policies. - Philippe Darondeau; Maciej Koutny; Marta Pietkiewicz-Koutny; Alexandre Yakovlev (Fundam. Informaticae, 2009)

Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. - Maciej Koutny; Brian Randell (Fundam. Informaticae, 2009)

A Petri net model for membrane systems with dynamic structure. - Jetty Kleijn; Maciej Koutny (Nat. Comput., 2009)

Quotient Monoids and Concurrent Behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny (Scientific Applications of Language Methods, 2010)

Modelling Gradients using Petri Nets. - Laura M. F. Bertens; Jetty Kleijn; Maciej Koutny; Fons J. Verbeek (ACSD/Petri Nets Workshops, 2010)

Synthesis of General Petri Nets with Localities. - Maciej Koutny; Marta Pietkiewicz-Koutny (ACSD/Petri Nets Workshops, 2010)

Petri Nets with Localities and Testing. - Jetty Kleijn; Maciej Koutny (Petri Nets, 2010)

State Space Reduction for Dynamic Process Creation. - Hanna Klaudel; Maciej Koutny; Elisabeth Pelz; Franck Pommereau (Sci. Ann. Comput. Sci., 2010)

Minimal Regions of ENL-Transition Systems. - Maciej Koutny; Marta Pietkiewicz-Koutny (Fundam. Informaticae, 2010)

The Mutex Paradigm of Concurrency. - Jetty Kleijn; Maciej Koutny (Petri Nets, 2011)

Classifying Boolean Nets for Region-based Synthesis. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny; Grzegorz Rozenberg (ART @ Petri Nets, 2011)

Causality in Structured Occurrence Nets. - Jetty Kleijn; Maciej Koutny (Dependable and Historic Computing, 2011)

Timed Migration and Interaction with Access Permissions. - Gabriel Ciobanu; Maciej Koutny (FM, 2011)

Petri Nets and Bio-Modelling - and how to benefit from their synergy - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (CoRR, 2011)

Petri Nets for Biologically Motivated Computing. - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Sci. Ann. Comput. Sci., 2011)

Membrane Systems with Qualitative Evolution Rules. - Jetty Kleijn; Maciej Koutny (Fundam. Informaticae, 2011)

Timed Mobility in process algebra and Petri nets. - Gabriel Ciobanu; Maciej Koutny (J. Log. Algebraic Methods Program., 2011)

Hasse Diagrams of Combined Traces. - Lukasz Mikulski; Maciej Koutny (ACSD, 2012)

Relevance of Entities in Reaction Systems. - Andrzej Ehrenfeucht; Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Languages Alive, 2012)

Behavioural Equivalences over Migrating Processes with Timers. - Bogdan Aman; Gabriel Ciobanu; Maciej Koutny (FMOODS/FORTE, 2012)

Modelling Provenance Using Structured Occurrence Networks. - Paolo Missier; Brian Randell; Maciej Koutny (IPAW, 2012)

A Timed Mobility Semantics Based on Rewriting Strategies. - Gabriel Ciobanu; Maciej Koutny; L. Jason Steggles (SEFM, 2012)

Towards Quantitative Analysis of Opacity. - Jeremy W. Bryans; Maciej Koutny; Chunyan Mu (TGC, 2012)

Membrane Systems and Petri Net Synthesis - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny; Grzegorz Rozenberg (MeCBIC, 2012)

Step coverability algorithms for communicating systems. - Jetty Kleijn; Maciej Koutny (Sci. Comput. Program., 2012)

Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena). - Gabriel Ciobanu; Maciej Koutny (Theor. Comput. Sci., 2012)

Localities in systems with a/sync communication. - Jetty Kleijn; Maciej Koutny (Theor. Comput. Sci., 2012)

Regions of Petri nets with a/sync connections. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny (Theor. Comput. Sci., 2012)

Minimal Reaction Systems. - Andrzej Ehrenfeucht; Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Trans. Comp. Sys. Biology, 2012)

Synthesis Problem for Petri Nets with Localities. - Maciej Koutny; Marta Pietkiewicz-Koutny (Trans. Petri Nets Other Model. Concurr., 2012)

Step Persistence in the Design of GALS Systems. - Johnson Fernandes; Maciej Koutny; Marta Pietkiewicz-Koutny; Danil Sokolov; Alex Yakovlev (Petri Nets, 2013)

A Taxonomy of Persistent and Nonviolent Steps. - Maciej Koutny; Lukasz Mikulski; Marta Pietkiewicz-Koutny (Petri Nets, 2013)

Causal Structures for General Concurrent Behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (CS&P, 2013)

Cost-benefit analysis of digital rights management products using stochastic models. - Wen Zeng; Kaiyu Liu; Maciej Koutny (SpringSim (ANSS), 2013)

Step semantics of boolean nets. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny; Grzegorz Rozenberg (Acta Informatica, 2013)

Mutex Causality in Processes and Traces of General Elementary Nets. - Jetty Kleijn; Maciej Koutny (Fundam. Informaticae, 2013)

ITL semantics of composite Petri nets. - Zhenhua Duan; Hanna Klaudel; Maciej Koutny (J. Log. Algebraic Methods Program., 2013)

A complete proof system for propositional projection temporal logic. - Zhenhua Duan; Nan Zhang 001; Maciej Koutny (Theor. Comput. Sci., 2013)

Causality in Extensions of Petri Nets. - Jetty Kleijn; Maciej Koutny (Trans. Petri Nets Other Model. Concurr., 2013)

Performance Modelling and Evaluation of Enterprise Information Security Technologies. - Wen Zeng; Maciej Koutny; Aad P. A. van Moorsel (CIT, 2014)

Verifying Secure Information Flow in Federated Clouds. - Wen Zeng; Maciej Koutny; Paul Watson 001 (CloudCom, 2014)

Interval Temporal Logic Semantics of Box Algebra. - Hanna Klaudel; Maciej Koutny; Zhenhua Duan (LATA, 2014)

Data Resources in Dynamic Environments. - Wen Zeng; Maciej Koutny (TASE, 2014)

A Flow Sensitive Security Model for Cloud Computing Systems. - Wen Zeng; Chunyan Mu; Maciej Koutny; Paul Watson 001 (CoRR, 2014)

Folded Hasse diagrams of combined traces. - Lukasz Mikulski; Maciej Koutny (Inf. Process. Lett., 2014)

Tissue Systems and Petri Net Synthesis. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny (Trans. Petri Nets Other Model. Concurr., 2014)

Non-atomic Transition Firing in Contextual Nets. - Thomas Chatain; Stefan Haar; Maciej Koutny; Stefan Schwoon (Petri Nets, 2015)

Unfolding CSPT-nets. - Bowen Li; Maciej Koutny (PNSE @ Petri Nets, 2015)

Order Structures for Subclasses of Generalised Traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (LATA, 2015)

Opacity in Internet of Things with Cloud Computing (Short Paper). - Wen Zeng; Maciej Koutny; Paul Watson 001 (SOCA, 2015)

PerTiMo: A Model of Spatial Migration with Safe Access Permissions. - Gabriel Ciobanu; Maciej Koutny (Comput. J., 2015)

Strategy based semantics for mobility with time and access permissions. - Gabriel Ciobanu; Maciej Koutny; L. Jason Steggles (Formal Aspects Comput., 2015)

Persistent and Nonviolent Steps and the Design of GALS Systems. - Johnson Fernandes; Maciej Koutny; Lukasz Mikulski; Marta Pietkiewicz-Koutny; Danil Sokolov; Alex Yakovlev (Fundam. Informaticae, 2015)

Characterising Concurrent Histories. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2015)

From Petri Nets with Shared Variables to ITL. - Hanna Klaudel; Maciej Koutny; Ben C. Moszkowski (ACSD, 2016)

Synthesis of Petri Nets with Whole-Place Operations and Localities. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny (ICTAC, 2016)

Towards Quantitative Verification of Reaction Systems. - Artur Meski; Maciej Koutny; Wojciech Penczek (UCNC, 2016)

Step traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Acta Informatica, 2016)

Formal verification of secure information flow in cloud computing. - Wen Zeng; Maciej Koutny; Paul Watson 001; Vasileios Germanos (J. Inf. Secur. Appl., 2016)

Modeling biological gradient formation: combining partial differential equations and Petri nets. - Laura M. F. Bertens; Jetty Kleijn; Sander C. Hille; Monika Heiner; Maciej Koutny; Fons J. Verbeek (Nat. Comput., 2016)

On Synthesising Step Alphabets for Acyclic Invariant Structures. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (ATAED@Petri Nets/ACSD, 2017)

Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny (Sci. Ann. Comput. Sci., 2017)

Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. - Bogdan Aman; Jetty Kleijn; Maciej Koutny; Dorel Lucanu (Fundam. Informaticae, 2017)

Alphabets of Acyclic Invariant Structures. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2017)

Invariant Structures and Dependence Relations. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2017)

Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. - Artur Meski; Maciej Koutny; Wojciech Penczek (Fundam. Informaticae, 2017)

An extension of the taxonomy of persistent and nonviolent steps. - Maciej Koutny; Lukasz Mikulski; Marta Pietkiewicz-Koutny (Inf. Sci., 2017)

Evolving reaction systems. - Andrzej Ehrenfeucht; Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Theor. Comput. Sci., 2017)

Signal set tissue systems and overlapping localities. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny (Theor. Comput. Sci., 2017)

Applying regions. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny; Grzegorz Rozenberg (Theor. Comput. Sci., 2017)

SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. - Bowen Li; Brian Randell; Anirban Bhattacharyya; Talal Alharbi; Maciej Koutny (ACSD, 2018)

Visualising Data Sets in Structured Occurrence Nets. - Talal Alharbi; Maciej Koutny (PNSE@Petri Nets/ACSD, 2018)

An Efficient Characterization of Petri Net Solvable Binary Words. - David de Frutos-Escrig; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2018)

Reaction Systems, Transition Systems, and Equivalences. - Jetty Kleijn; Maciej Koutny; Lukasz Mikulski; Grzegorz Rozenberg (Adventures Between Lower Bounds and Higher Altitudes, 2018)

Reaction Mining for Reaction Systems. - Artur Meski; Maciej Koutny; Wojciech Penczek (UCNC, 2018)

Reversing Transitions in Bounded Petri Nets. - Kamila Barylska; Evgeny Erofeev; Maciej Koutny; Lukasz Mikulski; Marcin Piatkowski (Fundam. Informaticae, 2018)

Reversible computation vs. reversibility in Petri nets. - Kamila Barylska; Maciej Koutny; Lukasz Mikulski; Marcin Piatkowski (Sci. Comput. Program., 2018)

Petri Nets and Petri's Nets: A Personal Perspective. - Maciej Koutny (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs). - Talal Alharbi; Maciej Koutny (PNSE@Petri Nets/ACSD, 2019)

Reversing Steps in Petri Nets. - David de Frutos-Escrig; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2019)

A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications. - Devki Nandan Jha; Zhenyu Wen; Yinhao Li; Michael Nee; Maciej Koutny; Rajiv Ranjan 001 (WISE, 2019)

Operational Semantics, Interval Orders and Sequences of Antichains. - Ryszard Janicki; Maciej Koutny (Fundam. Informaticae, 2019)

From Box Algebra to Interval Temporal Logic. - Hanna Klaudel; Maciej Koutny; Zhenhua Duan; Ben C. Moszkowski (Fundam. Informaticae, 2019)

Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies. - Wen Zeng; Maciej Koutny (J. Inf. Secur. Appl., 2019)

Classifying invariant structures of step traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (J. Comput. Syst. Sci., 2019)

Preface. - Maurice H. ter Beek; Maciej Koutny; Grzegorz Rozenberg (Fundam. Informaticae, 2020)

Reaction Systems and Enabling Equivalence. - Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2020)

Plug-in context providers for reaction systems. - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Theor. Comput. Sci., 2020)

Verification of Communication Structured Acyclic Nets Using SAT. - Nadiyah Almutairi; Maciej Koutny (PNSE@Petri Nets, 2021)

Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications: A Taxonomy and Survey. - Bin Qian 002; Jie Su 001; Zhenyu Wen; Devki Nandan Jha; Yinhao Li; Yu Guan; Deepak Puthal; Philip James 002; Renyu Yang; Albert Y. Zomaya; Omer F. Rana; Lizhe Wang 001; et al. (ACM Comput. Surv., 2021)

Investigating Reversibility of Steps in Petri Nets. - David de Frutos-Escrig; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2021)

Quantitative Analysis of Opacity in Cloud Computing Systems. - Wen Zeng; Maciej Koutny (IEEE Trans. Cloud Comput., 2021)

Relational structures for concurrent behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Theor. Comput. Sci., 2021)

Asynchrony and persistence in reaction systems. - Maciej Koutny; Marta Pietkiewicz-Koutny; Alex Yakovlev (Theor. Comput. Sci., 2021)

Avoiding Exponential Explosion in Petri Net Models of Control Flows. - Victor Khomenko; Maciej Koutny; Alex Yakovlev (Petri Nets, 2022)

Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. - Victor Khomenko; Maciej Koutny; Alex Yakovlev (CONCUR, 2022)

Synthesising elementary net systems with localities. - Aishah Ahmed; Maciej Koutny; Marta Pietkiewicz-Koutny (Theor. Comput. Sci., 2022)

Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Springer, 2022)

Interval Traces with Mutex Relation. - Ryszard Janicki; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2023)

Synthesising Elementary Net Systems with Interval Order Semantics. - Marta Pietkiewicz-Koutny; Maciej Koutny (ATAED/PN4TT@Petri Nets, 2023)

Confusion-Tolerant Computation of Probability in Acyclic Nets. - Anirban Bhattacharyya; Maciej Koutny (Trans. Petri Nets Other Model. Concurr., 2023)

Relational Structures for Interval Order Semantics of Concurrent Systems. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2024)

Synthesising ENI-Systems with Interval Order Semantics. - Maciej Koutny; Marta Pietkiewicz-Koutny (PNSE@Petri Nets, 2024)

Structured Acyclic Nets. - Mohammed Alahmadi; Salma Alharbi; Talal Alharbi; Nadiyah Almutairi; Tuwailaa Alshammari; Anirban Bhattacharyya; Maciej Koutny; Bowen Li; Brian Randell (CoRR, 2024)

Quasi-stratified Order Semantics of Concurrency. - Maciej Koutny; Lukasz Mikulski (CoRR, 2024)

Reaction mining for reaction systems. - Artur Meski; Maciej Koutny; Lukasz Mikulski; Wojciech Penczek (Nat. Comput., 2024)

GeoDeploy: Geo-Distributed Application Deployment Using Benchmarking. - Devki Nandan Jha; Yinhao Li; Zhenyu Wen; Graham Morgan; Prem Prakash Jayaraman; Maciej Koutny; Omer F. Rana; Rajiv Ranjan 001 (IEEE Trans. Parallel Distributed Syst., 2024)

Distributed Places and Safe Net Reduction. - Victor Khomenko; Maciej Koutny; Alex Yakovlev (Petri Nets, 2025)