Maciej Koutny

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg: Step semantics of boolean nets. Acta Inf. 50(1): 15-39 (2013)

Jetty Kleijn, Maciej Koutny: Mutex Causality in Processes and Traces of General Elementary Nets. Fundam. Inform. 122(1-2): 119-146 (2013)

Zhenhua Duan, Hanna Klaudel, Maciej Koutny: ITL semantics of composite Petri nets. J. Log. Algebr. Program. 82(2): 95-110 (2013)

Jetty Kleijn, Maciej Koutny: Step coverability algorithms for communicating systems. Sci. Comput. Program. 77(7-8): 955-967 (2012)

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

Gabriel Ciobanu, Maciej Koutny: 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. 431: 2-3 (2012)

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

Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Minimal Reaction Systems. T. Comp. Sys. Biology 14: 102-122 (2012)

Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis Problem for Petri Nets with Localities. T. Petri Nets and Other Models of Concurrency 5: 160-180 (2012)

Lukasz Mikulski, Maciej Koutny: Hasse Diagrams of Combined Traces. ACSD 2012: 92-101

Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Relevance of Entities in Reaction Systems. Languages Alive 2012: 44-55

Bogdan Aman, Gabriel Ciobanu, Maciej Koutny: Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE 2012: 52-66

Paolo Missier, Brian Randell, Maciej Koutny: Modelling Provenance Using Structured Occurrence Networks. IPAW 2012: 183-197

Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles: A Timed Mobility Semantics Based on Rewriting Strategies. SEFM 2012: 141-155

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg: Membrane Systems and Petri Net Synthesis. MeCBIC 2012: 1-13

Maciej Koutny, Irek Ulidowski (Eds.): CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science 7454, Springer 2012, isbn 978-3-642-32939-5

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Petri Nets for Biologically Motivated Computing. Sci. Ann. Comp. Sci. 21(2): 199-225 (2011)

Jetty Kleijn, Maciej Koutny: Membrane Systems with Qualitative Evolution Rules. Fundam. Inform. 110(1-4): 217-230 (2011)

Gabriel Ciobanu, Maciej Koutny: Timed Mobility in process algebra and Petri nets. J. Log. Algebr. Program. 80(7): 377-391 (2011)

Jetty Kleijn, Maciej Koutny: The Mutex Paradigm of Concurrency. Petri Nets 2011: 228-247

Jetty Kleijn, Maciej Koutny: Causality in Structured Occurrence Nets. Dependable and Historic Computing 2011: 283-297

Gabriel Ciobanu, Maciej Koutny: Timed Migration and Interaction with Access Permissions. FM 2011: 293-307

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Petri Nets and Bio-Modelling - and how to benefit from their synergy. CoRR abs/1108.3422 (2011)

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: State Space Reduction for Dynamic Process Creation. Sci. Ann. Comp. Sci. 20: 131-157 (2010)

Maciej Koutny, Marta Pietkiewicz-Koutny: Minimal Regions of ENL-Transition Systems. Fundam. Inform. 101(1-2): 45-58 (2010)

Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek: Modelling Gradients using Petri Nets. ACSD/Petri Nets Workshops 2010: 39-53

Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of General Petri Nets with Localities. ACSD/Petri Nets Workshops 2010: 161-174

Jetty Kleijn, Maciej Koutny: Petri Nets with Localities and Testing. Petri Nets 2010: 19-38

Gabriel Ciobanu, Maciej Koutny (Eds.): Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010. EPTCS 40, 2010

Kurt Jensen, Susanna Donatelli, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency IV. Lecture Notes in Computer Science 6550, Springer 2010, isbn 978-3-642-18221-1

Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of Petri Nets with Localities. Sci. Ann. Comp. Sci. 19: 1-23 (2009)

Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev: Synthesis of Nets with Step Firing Policies. Fundam. Inform. 94(3-4): 275-303 (2009)

Maciej Koutny, Brian Randell: Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Fundam. Inform. 97(1-2): 41-91 (2009)

Jetty Kleijn, Maciej Koutny: A Petri net model for membrane systems with dynamic structure. Natural Computing 8(4): 781-796 (2009)

Jetty Kleijn, Maciej Koutny: Applying Step Coverability Trees to Communicating Component-Based Systems. FSEN 2009: 178-193

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

Kurt Jensen, Jonathan Billington, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency III. Lecture Notes in Computer Science 5800, Springer 2009, isbn 978-3-642-04854-8

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A compositional Petri net translation of general pi -calculus terms. Formal Asp. Comput. 20(4-5): 429-450 (2008)

Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of Elementary Net Systems with Context Arcs and Localities. Fundam. Inform. 88(3): 307-328 (2008)

Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008)

Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Framed temporal logic programming. Sci. Comput. Program. 70(1): 31-61 (2008)

Jetty Kleijn, Maciej Koutny: Processes of membrane systems with promoters and inhibitors. Theor. Comput. Sci. 404(1-2): 112-126 (2008)

Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev: Synthesis of Nets with Step Firing Policies. Petri Nets 2008: 112-131

Gabriel Ciobanu, Maciej Koutny: Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008: 186-200

Jetty Kleijn, Maciej Koutny: Formal Languages and Concurrent Behaviours. New Developments in Formal Languages and Applications 2008: 125-182

Jonathan Billington, Zhenhua Duan, Maciej Koutny (Eds.): 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008. IEEE 2008, isbn 978-1-4244-1838-1

Victor Khomenko, Maciej Koutny: Verification of bounded Petri nets using integer programming. Formal Methods in System Design 30(2): 143-176 (2007)

Jetty Kleijn, Maciej Koutny: Processes of Petri Nets with Range Testing. Fundam. Inform. 80(1-3): 199-219 (2007)

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Modelling Mobility in High-level Petri Nets. ACSD 2007: 110-119

Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of Elementary Net Systems with Context Arcs and Localities. ICATPN 2007: 281-300

Brian Randell, Maciej Koutny: Failures: Their Definition, Modelling and Analysis. ICTAC 2007: 260-274

Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged processes: a new condensed representation of Petri net behaviour. Acta Inf. 43(5): 307-330 (2006)

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A Petri Net Semantics of a Simple Process Algebra for Mobility. Electr. Notes Theor. Comput. Sci. 154(3): 71-94 (2006)

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. Fundam. Inform. 70(1-2): 49-73 (2006)

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Inform. 70(3): 203-226 (2006)

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Process Semantics for Membrane Systems. Journal of Automata, Languages and Combinatorics 11(3): 321-340 (2006)

Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny: Towards an Algebra of Abstractions for Communicating Processes. ACSD 2006: 239-250

H. C. M. Kleijn, Maciej Koutny: Infinite Process Semantics of Inhibitor Nets. ICATPN 2006: 282-301

Maciej Koutny, Marta Pietkiewicz-Koutny: Transition Systems of Elementary Net Systems with Localities. CONCUR 2006: 173-187

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A Petri Net Translation of pi-Calculus Terms. ICTAC 2006: 138-152

Jetty Kleijn, Maciej Koutny: Synchrony and Asynchrony in Membrane Systems. Workshop on Membrane Computing 2006: 66-85

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

Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)

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

Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Semantics of Framed Temporal Logic Programs. ICLP 2005: 356-370

Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Towards a Petri Net Semantics for Membrane Systems. Workshop on Membrane Computing 2005: 292-309

Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Relating Communicating Processes with Different Interfaces. Fundam. Inform. 59(1): 1-37 (2004)

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundam. Inform. 62(2): 221-241 (2004)

H. C. M. Kleijn, Maciej Koutny: Process semantics of general inhibitor nets. Inf. Comput. 190(1): 18-69 (2004)

Zhenhua Duan, Maciej Koutny: A Framed Temporal Logic Programming Language. J. Comput. Sci. Technol. 19(3): 341-351 (2004)

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

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Context-based Process Algebras for Mobility. ACSD 2004: 79-88

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-Calculus. FORTE 2004: 309-325

Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Formal Aspects in Security and Trust 2004: 159-172

Victor Khomenko, Maciej Koutny, Walter Vogler: Canonical prefixes of Petri net unfoldings. Acta Inf. 40(2): 95-118 (2003)

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: Asynchronous Box Calculus. Fundam. Inform. 54(4): 295-344 (2003)

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

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STG Unfoldings Using SAT. ACSD 2003: 51-60

Victor Khomenko, Maciej Koutny: Branching Processes of High-Level Petri Nets. TACAS 2003: 458-472

Eike Best, Raymond R. Devillers, Maciej Koutny: The Box Algebra = Petri Nets + Process Expressions. Inf. Comput. 178(1): 44-100 (2002)

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: An Algebra of Non-safe Petri Boxes. AMAST 2002: 192-207

Victor Khomenko, Maciej Koutny, Walter Vogler: Canonical Prefixes of Petri Net Unfoldings. CAV 2002: 582-595

H. C. M. Kleijn, Maciej Koutny: Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. CONCUR 2002: 531-546

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STGs Using Integer Programming. DATE 2002: 338-345

Alexandre V. Bystrov, Maciej Koutny, Alexandre Yakovlev: Visualization of Partial Order Models in VLSI Design Flow. DATE 2002: 1089

Keijo Heljanko, Victor Khomenko, Maciej Koutny: Parallelisation of the Petri Net Unfolding Algorithm. TACAS 2002: 371-385

Eike Best, Raymond R. Devillers, Maciej Koutny: Petri net algebra. Springer 2001, isbn 978-3-540-67398-9, pp. I-XI, 1-378

Eike Best, Raymond R. Devillers, Maciej Koutny: Recursion and Petri nets. Acta Inf. 37(11-12): 781-829 (2001)

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

Maciej Koutny, Giuseppe Pappalardo: Behaviour Abstraction for Communicating Sequential Processes. Fundam. Inform. 48(1): 21-54 (2001)

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

Victor Khomenko, Maciej Koutny: Towards an Efficient Algorithm for Unfolding Petri Nets. CONCUR 2001: 366-380

Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Verifying Implementation Relations. FME 2001: 364-383

José Manuel Colom, Maciej Koutny (Eds.): Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Lecture Notes in Computer Science 2075, Springer 2001, isbn 3-540-42252-8

H. C. M. Kleijn, Maciej Koutny: Process Semantics of P/T-Nets with Inhibitor Arcs. ICATPN 2000: 261-281

Maciej Koutny: A Compositional Model of Time Petri Nets. ICATPN 2000: 303-322

Victor Khomenko, Maciej Koutny: LP Deadlock Checking Using Partial Order Dependencies. CONCUR 2000: 410-425

Ryszard Janicki, Maciej Koutny: On Causality Semantics of Nets with Priorities. Fundam. Inform. 38(3): 223-255 (1999)

Maciej Koutny: Peter Lauer and COSY. Fundam. Inform. 40(2-3): 103-107 (1999)

Maciej Koutny, Eike Best: Operational and Denotational Semantics for the Box Algebra. Theor. Comput. Sci. 211(1-2): 1-83 (1999)

Eike Best, Raymond R. Devillers, Maciej Koutny: The Box Algebra - A Model of Nets and Process Expressions. ICATPN 1999: 344-363

Maciej Koutny, Giuseppe Pappalardo: A Model of Behaviour Abstraction for Communicating Processes. STACS 1999: 313-322

Raymond R. Devillers, Maciej Koutny: Recursive Nets in the Box Algebra. ACSD 1998: 239-249

Martin Hesketh, Maciej Koutny: An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. ICATPN 1998: 165-184

Ryszard Janicki, Maciej Koutny: Fundamentals of Modelling Concurrency Using Discrete Relational Structures. Acta Inf. 34(5): 367-388 (1997)

Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Two Implementation Relations and the Correctness of Communicating Replicated Processes. Formal Asp. Comput. 9(2): 119-148 (1997)

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

Eike Best, Maciej Koutny: Using net refinement to compute the fixpoint of a recursive. Electr. Notes Theor. Comput. Sci. 2: 27-28 (1995)

Ryszard Janicki, Maciej Koutny: Semantics of Inhibitor Nets. Inf. Comput. 123(1): 1-16 (1995)

Eike Best, Maciej Koutny: A Refined View of the Box Algebra. Application and Theory of Petri Nets 1995: 1-20

Eike Best, Maciej Koutny: Solving Recursive Net Equations. ICALP 1995: 605-623

Nikolay A. Anisimov, Maciej Koutny: On compositionality and Petri nets in protocol engineering. PSTV 1995: 71-86

Ryszard Janicki, Maciej Koutny: Representations of Discrete Interval Orders and Semi-Orders. Elektronische Informationsverarbeitung und Kybernetik 30(3): 161-168 (1994)

Maciej Koutny: Partial Order Semantics of Box Expressions. Application and Theory of Petri Nets 1994: 318-337

Maciej Koutny, Javier Esparza, Eike Best: Operational Semantics for the Petri Box Calculus. CONCUR 1994: 210-225

Zhenhua Duan, Maciej Koutny, Chris Holt: Projection in Temporal Logic Programming. LPAR 1994: 333-344

Ryszard Janicki, Maciej Koutny: Deriving Histories of Nets with Priority Relation. PARLE 1994: 623-634

Ryszard Janicki, Maciej Koutny: Structure of Concurrency. Theor. Comput. Sci. 112(1): 5-52 (1993)

Ryszard Janicki, Maciej Koutny: Order Structures and Generalisations of Szpilrajn's Theorem. FSTTCS 1993: 348-357

Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Modelling Replicated Processing. PARLE 1993: 672-675

Maciej Koutny: Adequacy-Preserving Transformations of COSY Path Programs. Theor. Comput. Sci. 94(1): 141-158 (1992)

Eike Best, Maciej Koutny: Petri Net Semantics of Priority Systems. Theor. Comput. Sci. 96(1): 175-174 (1992)

Maciej Koutny: Modelling systems with dynamic priorities. Advances in Petri Nets: The DEMON Project 1992: 251-266

Maciej Koutny: Axiom system induced by CTL* Logic. Fundam. Inform. 14(2): 235-253 (1991)

Ryszard Janicki, Maciej Koutny: Structure of Concurrency. AMAST 1991: 98-107

Ryszard Janicki, Maciej Koutny: Invariant Semantics of Nets with Inhibitor Arcs. CONCUR 1991: 317-331

Ryszard Janicki, Maciej Koutny: Invariants and Paradigms of Concurrency Theory. PARLE (2) 1991: 59-74

Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Formalising Replicated Distributed Processing. SRDS 1991: 108-117

Ryszard Janicki, Maciej Koutny: Optimal simulations, nets and reachability graphs. Applications and Theory of Petri Nets 1990: 205-226

Ryszard Janicki, Maciej Koutny: Using Optimal Simulations to Reduce Reachability Graphs. CAV 1990: 166-175

Maciej Koutny, Luigi V. Mancini: Synchronizing events in replicated systems. Journal of Systems and Software 9(3): 183-190 (1989)

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

Maciej Koutny: Adequacy-Preserving Transformations of COSY Path Programs. Concurrency 1988: 368-379

Maciej Koutny: The Merlin-Randell Problem of Train Journeys. Acta Inf. 23(4): 429-463 (1986)

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

Luigi V. Mancini, Maciej Koutny: Formal specification of N-modular redundancy. ACM Conference on Computer Science 1986: 199-204

Ryszard Janicki, Maciej Koutny: On equivalent execution semantics of concurrent systems. European Workshop on Applications and Theory of Petri Nets 1986: 89-103

Wojciech Zakowski, Maciej Koutny: Identification of Regular Configurations with Partial Information. International Journal of Man-Machine Studies 22(5): 581-587 (1985)

Maciej Koutny: On the Merlin-Randell Problem of Train Journeys. Symposium on Programming 1984: 179-190