Maciej Koutny

241 papers A* 3A 5B 28C 10Misc 1Journal 101Unranked 70
YearRankTypeTitle / Venue / Authors
2026 J jnl
Encoding reaction systems in Petri nets.
Nat. Comput.
Maciej Koutny, Lukasz Mikulski
2025 B conf
Distributed Places and Safe Net Reduction.
Petri Nets
Victor Khomenko, Maciej Koutny, Alex Yakovlev
2025 J jnl
Distributed Places and Safe Net Reduction.
CoRR
Victor Khomenko, Maciej Koutny, Alex Yakovlev
2025 — conf
Interval Order Synthesis of EN-Systems with Read and Mutex Arcs.
PNSE/ATAED/PeNGE@PETRI NETS
Maciej Koutny, Marta Pietkiewicz-Koutny, Lukasz Mikulski
2025 J jnl
Model checking for distributed reaction systems with temporal-epistemic properties.
Nat. Comput.
Artur Meski, Maciej Koutny, Lukasz Mikulski, Ion Petre, Wojciech Penczek, Marcin Piatkowski
2024 J jnl
GeoDeploy: Geo-Distributed Application Deployment Using Benchmarking.
IEEE Trans. Parallel Distributed Syst.
Devki Nandan Jha, Yinhao Li, Zhenyu Wen, Graham Morgan, Prem Prakash Jayaraman, Maciej Koutny, Omer F. Rana, Rajiv Ranjan
2024 J jnl
Quasi-stratified Order Semantics of Concurrency.
CoRR
Maciej Koutny, Lukasz Mikulski
2024 J jnl
Reaction mining for reaction systems.
Nat. Comput.
Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek
2024 B conf
Relational Structures for Interval Order Semantics of Concurrent Systems.
Petri Nets
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2024 J jnl
Structured Acyclic Nets.
CoRR
Mohammed Alahmadi, Salma Alharbi, Talal Alharbi, Nadiyah Almutairi, Tuwailaa Alshammari, Anirban Bhattacharyya, Maciej Koutny, Bowen Li, Brian Randell
2024 — conf
Synthesising ENI-Systems with Interval Order Semantics.
PNSE@Petri Nets
Maciej Koutny, Marta Pietkiewicz-Koutny
2023 J jnl
Confusion-Tolerant Computation of Probability in Acyclic Nets.
Trans. Petri Nets Other Model. Concurr.
Anirban Bhattacharyya, Maciej Koutny
2023 B conf
Interval Traces with Mutex Relation.
Petri Nets
Ryszard Janicki, Maciej Koutny, Lukasz Mikulski
2023 — conf
Synthesising Elementary Net Systems with Interval Order Semantics.
ATAED/PN4TT@Petri Nets
Marta Pietkiewicz-Koutny, Maciej Koutny
2023 — ed.
Transactions on Petri Nets and Other Models of Concurrency XVII
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo
2022 B conf
Avoiding Exponential Explosion in Petri Net Models of Control Flows.
Petri Nets
Victor Khomenko, Maciej Koutny, Alex Yakovlev
2022 — book
Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2022 B conf
Slimming down Petri Boxes: Compact Petri Net Models of Control Flows.
CONCUR
Victor Khomenko, Maciej Koutny, Alex Yakovlev
2022 J jnl
Synthesising elementary net systems with localities.
Theor. Comput. Sci.
Aishah Ahmed, Maciej Koutny, Marta Pietkiewicz-Koutny
2022 — ed.
Transactions on Petri Nets and Other Models of Concurrency XVI
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Fabrice Kordon, Daniel Moldt
2021 J jnl
Asynchrony and persistence in reaction systems.
Theor. Comput. Sci.
Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev
2021 J jnl
Investigating Reversibility of Steps in Petri Nets.
CoRR
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
2021 J jnl
Investigating Reversibility of Steps in Petri Nets.
Fundam. Informaticae
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
2021 J jnl
Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications: A Taxonomy and Survey.
ACM Comput. Surv.
Bin Qian, Jie Su, Zhenyu Wen, Devki Nandan Jha, Yinhao Li, Yu Guan, Deepak Puthal, Philip James, Renyu Yang, Albert Y. Zomaya, Omer F. Rana, Lizhe Wang, Maciej Koutny, Rajiv Ranjan
2021 J jnl
Quantitative Analysis of Opacity in Cloud Computing Systems.
IEEE Trans. Cloud Comput.
Wen Zeng, Maciej Koutny
2021 J jnl
Relational structures for concurrent behaviours.
Theor. Comput. Sci.
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2021 — ed.
Transactions on Petri Nets and Other Models of Concurrency XV
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Fabrice Kordon, Lucia Pomello
2021 — conf
Verification of Communication Structured Acyclic Nets Using SAT.
PNSE@Petri Nets
Nadiyah Almutairi, Maciej Koutny
2020 J jnl
Plug-in context providers for reaction systems.
Theor. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2020 J jnl
Preface.
Fundam. Informaticae
Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg
2020 J jnl
Reaction Systems and Enabling Equivalence.
Fundam. Informaticae
Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2019 B conf
A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications.
WISE
Devki Nandan Jha, Zhenyu Wen, Yinhao Li, Michael Nee, Maciej Koutny, Rajiv Ranjan
2019 J jnl
Classifying invariant structures of step traces.
J. Comput. Syst. Sci.
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2019 — conf
Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs).
PNSE@Petri Nets/ACSD
Talal Alharbi, Maciej Koutny
2019 J jnl
From Box Algebra to Interval Temporal Logic.
Fundam. Informaticae
Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski
2019 J jnl
Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies.
J. Inf. Secur. Appl.
Wen Zeng, Maciej Koutny
2019 J jnl
Operational Semantics, Interval Orders and Sequences of Antichains.
Fundam. Informaticae
Ryszard Janicki, Maciej Koutny
2019 — ch.
Petri Nets and Petri's Nets: A Personal Perspective.
Carl Adam Petri: Ideas, Personality, Impact
Maciej Koutny
2019 B conf
Reversing Steps in Petri Nets.
Petri Nets
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
2019 — ed.
Transactions on Petri Nets and Other Models of Concurrency XIV
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Lucia Pomello, Lars Michael Kristensen
2018 B conf
An Efficient Characterization of Petri Net Solvable Binary Words.
Petri Nets
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
2018 — conf
Reaction Mining for Reaction Systems.
UCNC
Artur Meski, Maciej Koutny, Wojciech Penczek
2018 — conf
Reaction Systems, Transition Systems, and Equivalences.
Adventures Between Lower Bounds and Higher Altitudes
Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg
2018 J jnl
Reversible computation vs. reversibility in Petri nets.
Sci. Comput. Program.
Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
2018 J jnl
Reversing Transitions in Bounded Petri Nets.
Fundam. Informaticae
Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
2018 — conf
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets.
ACSD
Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny
2018 — ed.
Transactions on Petri Nets and Other Models of Concurrency XIII
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
2018 — conf
Visualising Data Sets in Structured Occurrence Nets.
PNSE@Petri Nets/ACSD
Talal Alharbi, Maciej Koutny
2017 J jnl
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities.
Sci. Ann. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2017 J jnl
Alphabets of Acyclic Invariant Structures.
Fundam. Informaticae
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017 J jnl
An extension of the taxonomy of persistent and nonviolent steps.
Inf. Sci.
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
2017 J jnl
Applying regions.
Theor. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2017 J jnl
Evolving reaction systems.
Theor. Comput. Sci.
Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2017 J jnl
Invariant Structures and Dependence Relations.
Fundam. Informaticae
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017 J jnl
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu.
Fundam. Informaticae
Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu
2017 — conf
On Synthesising Step Alphabets for Acyclic Invariant Structures.
ATAED@Petri Nets/ACSD
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017 J jnl
Signal set tissue systems and overlapping localities.
Theor. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2017 — ed.
Transactions on Petri Nets and Other Models of Concurrency XII
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Jetty Kleijn, Wojciech Penczek
2017 J jnl
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations.
Fundam. Informaticae
Artur Meski, Maciej Koutny, Wojciech Penczek
2016 J jnl
Formal verification of secure information flow in cloud computing.
J. Inf. Secur. Appl.
Wen Zeng, Maciej Koutny, Paul Watson, Vasileios Germanos
2016 — conf
From Petri Nets with Shared Variables to ITL.
ACSD
Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski
2016 J jnl
Modeling biological gradient formation: combining partial differential equations and Petri nets.
Nat. Comput.
Laura M. F. Bertens, Jetty Kleijn, Sander C. Hille, Monika Heiner, Maciej Koutny, Fons J. Verbeek
2016 C conf
Reversible Computation vs. Reversibility in Petri Nets.
RC
Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
2016 — conf
Reversing Transitions in Bounded Petri Nets.
CS&P
Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev
2016 J jnl
Step traces.
Acta Informatica
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2016 C conf
Synthesis of Petri Nets with Whole-Place Operations and Localities.
ICTAC
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2016 — conf
Towards Quantitative Verification of Reaction Systems.
UCNC
Artur Meski, Maciej Koutny, Wojciech Penczek
2016 — ed.
Transactions on Petri Nets and Other Models of Concurrency XI
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Jörg Desel, Jetty Kleijn
2015 J jnl
Characterising Concurrent Histories.
Fundam. Informaticae
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015 B conf
Non-atomic Transition Firing in Contextual Nets.
Petri Nets
Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon
2015 — conf
Opacity in Internet of Things with Cloud Computing (Short Paper).
SOCA
Wen Zeng, Maciej Koutny, Paul Watson
2015 C conf
Order Structures for Subclasses of Generalised Traces.
LATA
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015 J jnl
PerTiMo: A Model of Spatial Migration with Safe Access Permissions.
Comput. J.
Gabriel Ciobanu, Maciej Koutny
2015 J jnl
Persistent and Nonviolent Steps and the Design of GALS Systems.
Fundam. Informaticae
Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
2015 J jnl
Strategy based semantics for mobility with time and access permissions.
Formal Aspects Comput.
Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
2015 — ed.
Transactions on Petri Nets and Other Models of Concurrency X
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Jörg Desel, Serge Haddad
2015 — conf
Unfolding CSPT-nets.
PNSE @ Petri Nets
Bowen Li, Maciej Koutny
2014 J jnl
A Flow Sensitive Security Model for Cloud Computing Systems.
CoRR
Wen Zeng, Chunyan Mu, Maciej Koutny, Paul Watson
2014 Misc conf
Data Resources in Dynamic Environments.
TASE
Wen Zeng, Maciej Koutny
2014 J jnl
Folded Hasse diagrams of combined traces.
Inf. Process. Lett.
Lukasz Mikulski, Maciej Koutny
2014 C conf
Interval Temporal Logic Semantics of Box Algebra.
LATA
Hanna Klaudel, Maciej Koutny, Zhenhua Duan
2014 C conf
Performance Modelling and Evaluation of Enterprise Information Security Technologies.
CIT
Wen Zeng, Maciej Koutny, Aad P. A. van Moorsel
2014 J jnl
Tissue Systems and Petri Net Synthesis.
Trans. Petri Nets Other Model. Concurr.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2014 — ed.
Transactions on Petri Nets and Other Models of Concurrency IX
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Serge Haddad, Alex Yakovlev
2014 C conf
Verifying Secure Information Flow in Federated Clouds.
CloudCom
Wen Zeng, Maciej Koutny, Paul Watson
2013 B conf
A Taxonomy of Persistent and Nonviolent Steps.
Petri Nets
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
2013 J jnl
A complete proof system for propositional projection temporal logic.
Theor. Comput. Sci.
Zhenhua Duan, Nan Zhang, Maciej Koutny
2013 — conf
Causal Structures for General Concurrent Behaviours.
CS&P
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2013 J jnl
Causality in Extensions of Petri Nets.
Trans. Petri Nets Other Model. Concurr.
Jetty Kleijn, Maciej Koutny
2013 — conf
Cost-benefit analysis of digital rights management products using stochastic models.
SpringSim (ANSS)
Wen Zeng, Kaiyu Liu, Maciej Koutny
2013 J jnl
ITL semantics of composite Petri nets.
J. Log. Algebraic Methods Program.
Zhenhua Duan, Hanna Klaudel, Maciej Koutny
2013 J jnl
Mutex Causality in Processes and Traces of General Elementary Nets.
Fundam. Informaticae
Jetty Kleijn, Maciej Koutny
2013 B conf
Step Persistence in the Design of GALS Systems.
Petri Nets
Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
2013 J jnl
Step semantics of boolean nets.
Acta Informatica
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2013 — ed.
Transactions on Petri Nets and Other Models of Concurrency VII
Trans. Petri Nets and Other Models of Concurrency
Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
2013 — ed.
Transactions on Petri Nets and Other Models of Concurrency VIII
Trans. Petri Nets and Other Models of Concurrency
Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev
2012 B conf
A Timed Mobility Semantics Based on Rewriting Strategies.
SEFM
Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
2012 — conf
Behavioural Equivalences over Migrating Processes with Timers.
FMOODS/FORTE
Bogdan Aman, Gabriel Ciobanu, Maciej Koutny
2012 B ed.
CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
CONCUR
Maciej Koutny, Irek Ulidowski
2012 — conf
Hasse Diagrams of Combined Traces.
ACSD
Lukasz Mikulski, Maciej Koutny
2012 J jnl
Localities in systems with a/sync communication.
Theor. Comput. Sci.
Jetty Kleijn, Maciej Koutny
2012 — conf
Membrane Systems and Petri Net Synthesis
MeCBIC
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2012 J jnl
Minimal Reaction Systems.
Trans. Comp. Sys. Biology
Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2012 — conf
Modelling Provenance Using Structured Occurrence Networks.
IPAW
Paolo Missier, Brian Randell, Maciej Koutny
2012 J jnl
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).
Theor. Comput. Sci.
Gabriel Ciobanu, Maciej Koutny
2012 J jnl
Regions of Petri nets with a/sync connections.
Theor. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2012 — conf
Relevance of Entities in Reaction Systems.
Languages Alive
Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2012 J jnl
Step coverability algorithms for communicating systems.
Sci. Comput. Program.
Jetty Kleijn, Maciej Koutny
2012 J jnl
Synthesis Problem for Petri Nets with Localities.
Trans. Petri Nets Other Model. Concurr.
Maciej Koutny, Marta Pietkiewicz-Koutny
2012 — conf
Towards Quantitative Analysis of Opacity.
TGC
Jeremy W. Bryans, Maciej Koutny, Chunyan Mu
2011 — conf
Causality in Structured Occurrence Nets.
Dependable and Historic Computing
Jetty Kleijn, Maciej Koutny
2011 — conf
Classifying Boolean Nets for Region-based Synthesis.
ART @ Petri Nets
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2011 J jnl
Membrane Systems with Qualitative Evolution Rules.
Fundam. Informaticae
Jetty Kleijn, Maciej Koutny
2011 J jnl
Petri Nets and Bio-Modelling - and how to benefit from their synergy
CoRR
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2011 J jnl
Petri Nets for Biologically Motivated Computing.
Sci. Ann. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2011 B conf
The Mutex Paradigm of Concurrency.
Petri Nets
Jetty Kleijn, Maciej Koutny
2011 B conf
Timed Migration and Interaction with Access Permissions.
FM
Gabriel Ciobanu, Maciej Koutny
2011 J jnl
Timed Mobility in process algebra and Petri nets.
J. Log. Algebraic Methods Program.
Gabriel Ciobanu, Maciej Koutny
2010 J jnl
Minimal Regions of ENL-Transition Systems.
Fundam. Informaticae
Maciej Koutny, Marta Pietkiewicz-Koutny
2010 — conf
Modelling Gradients using Petri Nets.
ACSD/Petri Nets Workshops
Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek
2010 B conf
Petri Nets with Localities and Testing.
Petri Nets
Jetty Kleijn, Maciej Koutny
2010 — ed.
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010.
MeCBIC
Gabriel Ciobanu, Maciej Koutny
2010 — ch.
Quotient Monoids and Concurrent Behaviours.
Scientific Applications of Language Methods
Ryszard Janicki, Jetty Kleijn, Maciej Koutny
2010 J jnl
State Space Reduction for Dynamic Process Creation.
Sci. Ann. Comput. Sci.
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2010 — conf
Synthesis of General Petri Nets with Localities.
ACSD/Petri Nets Workshops
Maciej Koutny, Marta Pietkiewicz-Koutny
2010 — ed.
Transactions on Petri Nets and Other Models of Concurrency IV
Trans. Petri Nets and Other Models of Concurrency
Kurt Jensen, Susanna Donatelli, Maciej Koutny
2009 J jnl
A Petri net model for membrane systems with dynamic structure.
Nat. Comput.
Jetty Kleijn, Maciej Koutny
2009 — conf
An approach to state space reduction for systems with dynamic process creation.
ISCIS
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2009 — conf
Applying Step Coverability Trees to Communicating Component-Based Systems.
FSEN
Jetty Kleijn, Maciej Koutny
2009 J jnl
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques.
Fundam. Informaticae
Maciej Koutny, Brian Randell
2009 J jnl
Synthesis of Nets with Step Firing Policies.
Fundam. Informaticae
Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
2009 J jnl
Synthesis of Petri Nets with Localities.
Sci. Ann. Comput. Sci.
Maciej Koutny, Marta Pietkiewicz-Koutny
2009 — ed.
Transactions on Petri Nets and Other Models of Concurrency III
Trans. Petri Nets and Other Models of Concurrency
Kurt Jensen, Jonathan Billington, Maciej Koutny
2008 — ed.
8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008
ACSD
Jonathan Billington, Zhenhua Duan, Maciej Koutny
2008 J jnl
A compositional Petri net translation of general
Formal Aspects Comput.
Raymond Devillers, Hanna Klaudel, Maciej Koutny
2008 — ch.
Formal Languages and Concurrent Behaviours.
New Developments in Formal Languages and Applications
Jetty Kleijn, Maciej Koutny
2008 J jnl
Framed temporal logic programming.
Sci. Comput. Program.
Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny
2008 B conf
Modelling and Verification of Timed Interaction and Migration.
FASE
Gabriel Ciobanu, Maciej Koutny
2008 J jnl
Opacity generalised to transition systems.
Int. J. Inf. Sec.
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
2008 J jnl
Processes of membrane systems with promoters and inhibitors.
Theor. Comput. Sci.
Jetty Kleijn, Maciej Koutny
2008 J jnl
Synthesis of Elementary Net Systems with Context Arcs and Localities.
Fundam. Informaticae
Maciej Koutny, Marta Pietkiewicz-Koutny
2008 B conf
Synthesis of Nets with Step Firing Policies.
Petri Nets
Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
2008 C conf
Towards Efficient Verification of Systems with Dynamic Process Creation.
ICTAC
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2007 C conf
Failures: Their Definition, Modelling and Analysis.
ICTAC
Brian Randell, Maciej Koutny
2007 — conf
Modelling Mobility in High-level Petri Nets.
ACSD
Raymond Devillers, Hanna Klaudel, Maciej Koutny
2007 J jnl
Processes of Petri Nets with Range Testing.
Fundam. Informaticae
Jetty Kleijn, Maciej Koutny
2007 — conf
Synthesis of Elementary Net Systems with Context Arcs and Localities.
ICATPN
Maciej Koutny, Marta Pietkiewicz-Koutny
2007 J jnl
Verification of bounded Petri nets using integer programming.
Formal Methods Syst. Des.
Victor Khomenko, Maciej Koutny
2006 C conf
A Petri Net Translation of
ICTAC
Raymond Devillers, Hanna Klaudel, Maciej Koutny
2006 — conf
Infinite Process Semantics of Inhibitor Nets.
ICATPN
H. C. M. Kleijn, Maciej Koutny
2006 J jnl
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT.
Fundam. Informaticae
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2006 J jnl
Merged processes: a new condensed representation of Petri net behaviour.
Acta Informatica
Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
2006 — conf
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.
RODIN Book
Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky
2006 J jnl
Petri Net Semantics of the Finite pi-calculus Terms.
Fundam. Informaticae
Raymond Devillers, Hanna Klaudel, Maciej Koutny
2006 J jnl
Process Semantics for Membrane Systems.
J. Autom. Lang. Comb.
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2006 — conf
Synchrony and Asynchrony in Membrane Systems.
Workshop on Membrane Computing
Jetty Kleijn, Maciej Koutny
2006 — conf
Towards an Algebra of Abstractions for Communicating Processes.
ACSD
Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny
2006 B conf
Transition Systems of Elementary Net Systems with Localities.
CONCUR
Maciej Koutny, Marta Pietkiewicz-Koutny
2005 — conf
A Petri Net Semantics of a Simple Process Algebra for Mobility.
EXPRESS
Raymond Devillers, Hanna Klaudel, Maciej Koutny
2005 B conf
Merged Processes - A New Condensed Representation of Petri Net Behaviour.
CONCUR
Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
2005 — conf
Opacity Generalised to Transition Systems.
Formal Aspects in Security and Trust
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
2005 B conf
Semantics of Framed Temporal Logic Programs.
ICLP
Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny
2005 — conf
Towards a Petri Net Semantics for Membrane Systems.
Workshop on Membrane Computing
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2004 J jnl
A Framed Temporal Logic Programming Language.
J. Comput. Sci. Technol.
Zhenhua Duan, Maciej Koutny
2004 — conf
Context-based Process Algebras for Mobility.
ACSD
Raymond Devillers, Hanna Klaudel, Maciej Koutny
2004 J jnl
Detecting State Encoding Conflicts in STG Unfoldings Using SAT.
Fundam. Informaticae
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2004 — conf
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.
ACSD
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2004 — conf
Modelling Dynamic Opacity Using Petri Nets with Silent Actions.
Formal Aspects in Security and Trust
Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan
2004 — conf
Modelling Opacity Using Petri Nets.
WISP@ICATPN
Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan
2004 C conf
Petri Net Semantics of the Finite pi-Calculus.
FORTE
Raymond Devillers, Hanna Klaudel, Maciej Koutny
2004 J jnl
Process semantics of general inhibitor nets.
Inf. Comput.
H. C. M. Kleijn, Maciej Koutny
2004 J jnl
Relating Communicating Processes with Different Interfaces.
Fundam. Informaticae
Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo
2003 J jnl
Asynchronous Box Calculus.
Fundam. Informaticae
Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
2003 A conf
Branching Processes of High-Level Petri Nets.
TACAS
Victor Khomenko, Maciej Koutny
2003 J jnl
Canonical prefixes of Petri net unfoldings.
Acta Informatica
Victor Khomenko, Maciej Koutny, Walter Vogler
2003 — conf
Detecting State Coding Conflicts in STG Unfoldings Using SAT.
ACSD
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2003 — conf
Process Algebra: A Petri-Net-Oriented Tutorial.
Lectures on Concurrency and Petri Nets
Eike Best, Maciej Koutny
2002 — conf
An Algebra of Non-safe Petri Boxes.
AMAST
Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
2002 A* conf
Canonical Prefixes of Petri Net Unfoldings.
CAV
Victor Khomenko, Maciej Koutny, Walter Vogler
2002 B conf
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.
CONCUR
H. C. M. Kleijn, Maciej Koutny
2002 A conf
Detecting State Coding Conflicts in STGs Using Integer Programming.
DATE
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2002 A conf
Parallelisation of the Petri Net Unfolding Algorithm.
TACAS
Keijo Heljanko, Victor Khomenko, Maciej Koutny
2002 J jnl
The Box Algebra = Petri Nets + Process Expressions.
Inf. Comput.
Eike Best, Raymond Devillers, Maciej Koutny
2002 A conf
Visualization of Partial Order Models in VLSI Design Flow.
DATE
Alexandre V. Bystrov, Maciej Koutny, Alexandre Yakovlev
2001 — ch.
A Unified Model for Nets and Process Algebras.
Handbook of Process Algebra
Eike Best, Raymond Devillers, Maciej Koutny
2001 — ed.
Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings
ICATPN
José Manuel Colom, Maciej Koutny
2001 J jnl
Behaviour Abstraction for Communicating Sequential Processes.
Fundam. Informaticae
Maciej Koutny, Giuseppe Pappalardo
2001 — conf
Implementing Communicating Processes in the Event of Interface Difference.
ACSD
Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo
2001 J jnl
Modelling and verification of an atomic action protocol implemented in Ada.
Comput. Syst. Sci. Eng.
Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2001 — book
Petri net algebra.
Eike Best, Raymond Devillers, Maciej Koutny
2001 J jnl
Recursion and Petri nets.
Acta Informatica
Eike Best, Raymond Devillers, Maciej Koutny
2001 B conf
Towards an Efficient Algorithm for Unfolding Petri Nets.
CONCUR
Victor Khomenko, Maciej Koutny
2001 — conf
Verifying Implementation Relations.
FME
Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo
2000 — conf
A Compositional Model of Time Petri Nets.
ICATPN
Maciej Koutny
2000 B conf
LP Deadlock Checking Using Partial Order Dependencies.
CONCUR
Victor Khomenko, Maciej Koutny
2000 — conf
On developing and verifying design abstractions for reliable concurrent programming in Ada.
IRTAW
Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2000 — conf
Process Semantics of P/T-Nets with Inhibitor Arcs.
ICATPN
H. C. M. Kleijn, Maciej Koutny
1999 A conf
A Model of Behaviour Abstraction for Communicating Processes.
STACS
Maciej Koutny, Giuseppe Pappalardo
1999 J jnl
On Causality Semantics of Nets with Priorities.
Fundam. Informaticae
Ryszard Janicki, Maciej Koutny
1999 J jnl
Operational and Denotational Semantics for the Box Algebra.
Theor. Comput. Sci.
Maciej Koutny, Eike Best
1999 J jnl
Peter Lauer and COSY.
Fundam. Informaticae
Maciej Koutny
1999 — conf
The Box Algebra - A Model of Nets and Process Expressions.
ICATPN
Eike Best, Raymond Devillers, Maciej Koutny
1998 — conf
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus.
ICATPN
Martin Hesketh, Maciej Koutny
1998 — conf
Recursive Nets in the Box Algebra.
ACSD
Raymond Devillers, Maciej Koutny
1997 J jnl
Fundamentals of Modelling Concurrency Using Discrete Relational Structures.
Acta Informatica
Ryszard Janicki, Maciej Koutny
1997 J jnl
Two Implementation Relations and the Correctness of Communicating Replicated Processes.
Formal Aspects Comput.
Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo
1996 — conf
Petri Nets, Process Algebras and Concurrent Programming Languages.
Petri Nets (2)
Eike Best, Raymond Devillers, Maciej Koutny
1995 — conf
A Refined View of the Box Algebra.
Application and Theory of Petri Nets
Eike Best, Maciej Koutny
1995 — conf
On compositionality and Petri nets in protocol engineering.
PSTV
Nikolay A. Anisimov, Maciej Koutny
1995 J jnl
Semantics of Inhibitor Nets.
Inf. Comput.
Ryszard Janicki, Maciej Koutny
1995 A* conf
Solving Recursive Net Equations.
ICALP
Eike Best, Maciej Koutny
1995 — conf
Using net refinement to compute the fixpoint of a recursive.
SEGRAGRA
Eike Best, Maciej Koutny
1994 — conf
Deriving Histories of Nets with Priority Relation.
PARLE
Ryszard Janicki, Maciej Koutny
1994 B conf
Operational Semantics for the Petri Box Calculus.
CONCUR
Maciej Koutny, Javier Esparza, Eike Best
1994 — conf
Partial Order Semantics of Box Expressions.
Application and Theory of Petri Nets
Maciej Koutny
1994 B conf
Projection in Temporal Logic Programming.
LPAR
Zhenhua Duan, Maciej Koutny, Chris Holt
1994 J jnl
Representations of Discrete Interval Orders and Semi-Orders.
J. Inf. Process. Cybern.
Ryszard Janicki, Maciej Koutny
1993 — conf
Modelling Replicated Processing.
PARLE
Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo
1993 — conf
Order Structures and Generalisations of Szpilrajn's Theorem.
FSTTCS
Ryszard Janicki, Maciej Koutny
1993 J jnl
Structure of Concurrency.
Theor. Comput. Sci.
Ryszard Janicki, Maciej Koutny
1992 J jnl
Adequacy-Preserving Transformations of COSY Path Programs.
Theor. Comput. Sci.
Maciej Koutny
1992 J jnl
Invariants and paradigms of concurrency theory.
Future Gener. Comput. Syst.
Ryszard Janicki, Maciej Koutny
1992 — ch.
Modelling systems with dynamic priorities.
Advances in Petri Nets: The DEMON Project
Maciej Koutny
1992 J jnl
Petri Net Semantics of Priority Systems.
Theor. Comput. Sci.
Eike Best, Maciej Koutny
1991 J jnl
Axiom system induced by CTL* Logic.
Fundam. Informaticae
Maciej Koutny
1991 B conf
Formalising Replicated Distributed Processing.
SRDS
Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo
1991 B conf
Invariant Semantics of Nets with Inhibitor Arcs.
CONCUR
Ryszard Janicki, Maciej Koutny
1991 — conf
Invariants and Paradigms of Concurrency Theory.
PARLE (2)
Ryszard Janicki, Maciej Koutny
1991 — conf
Structure of Concurrency.
AMAST
Ryszard Janicki, Maciej Koutny
1990 — conf
On Some Implementation of Optimal Simulations.
CAV (DIMACS/AMS volume)
Ryszard Janicki, Maciej Koutny
1990 — conf
Optimal simulations, nets and reachability graphs.
Applications and Theory of Petri Nets
Ryszard Janicki, Maciej Koutny
1990 A* conf
Using Optimal Simulations to Reduce Reachability Graphs.
CAV
Ryszard Janicki, Maciej Koutny
1989 J jnl
Synchronizing events in replicated systems.
J. Syst. Softw.
Maciej Koutny, Luigi V. Mancini
1989 — conf
Towards A Theory Of Simulation For Verification Of Concurrent Systems.
PARLE (2)
Ryszard Janicki, Maciej Koutny
1988 — conf
Adequacy-Preserving Transformations of COSY Path Programs.
Concurrency
Maciej Koutny
1986 J jnl
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.
Theor. Comput. Sci.
Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond Devillers
1986 — conf
Formal specification of N-modular redundancy.
ACM Conference on Computer Science
Luigi V. Mancini, Maciej Koutny
1986 — conf
On equivalent execution semantics of concurrent systems.
European Workshop on Applications and Theory of Petri Nets
Ryszard Janicki, Maciej Koutny
1986 J jnl
The Merlin-Randell Problem of Train Journeys.
Acta Informatica
Maciej Koutny
1985 J jnl
Identification of Regular Configurations with Partial Information.
Int. J. Man Mach. Stud.
Wojciech Zakowski, Maciej Koutny
1984 — conf
On the Merlin-Randell Problem of Train Journeys.
Symposium on Programming
Maciej Koutny