Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques
Koutny, M. and Randell, B.
Fundamenta Informaticae Vol. 97, Issue 1-2, pp 41-91
IOS Press, 2009 ISSN 0169-2968

Synthesis of Nets with Step Firing Policies
Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M. and Yakovlev, A.
Fundamenta Informaticae Vol. 94, Issue 3-4, pp 275-303
IOS Press, 2009 ISSN 0169-2968
Notes : Journal version of the ICATPN'08 Best Paper Award paper.

Synthesis of Petri Nets with Localities
Koutny, M. and Pietkiewicz-Koutny, M.
Scientific Annals of Computer Science Vol. 19, pp 1-23
Alexandru Ioan Cuza, University of Iasi, Romania, 2009 ISSN 1843 - 8121

A Compositional Petri Net Translation of General pi-calculus Terms
Devillers, R., Klaudel, H. and Koutny, M.
Formal Aspects of Computing Vol. 20, Issue 4-5, pp 429-450
Springer London, 2008

Compositional Abstractions for Process Networks
Koutny, M., Pappalardo, G. and Pietkiewicz-Koutny, M.
IADIS International Journal on Computer Science and Information Systems Vol. 3, Issue 1, pp 71-85
International Association for Development of the Information Society, 2008

Processes of Membrane Systems with Promoters and Inhibitors
Kleijn, J. and Koutny, M.
Theoretical Computer Science Vol. 404, Issue 1-2, pp 112-126
Elsevier B.V., 2008

Synthesis of Elementary Net Systems with Context Arcs and Localities
Koutny, M. and Pietkiewicz-Koutny, M.
Fundamenta Informaticae Vol. 88, Issue 3, pp 307-328
IOS Press, 2008

A Petri net model for membrane systems with dynamic structure
Kleijn, J. and Koutny, M.
Natural Computing
Springer , 2008
Notes : DOI 10.1007/s11047-008-9101-0 Online: October 01, 2008

Framed Temporal Logic Programming
Duan, Z., Yang, X. and Koutny, M.
Science of Computer Programming Vol. 70, Issue 1, pp 31-61
Elsevier B.V., 2008
Notes : doi:10.1016/j.scico.2007.09.001

Opacity generalised to transition systems
Bryans, J.W., Koutny, M., Mazaré, L. and Ryan, P.Y.A.
International Journal of Information Security Vol. 7, Issue 6, pp 421-435
Springer , 2008
Notes : DOI 10.1007/s10207-008-0058-x

Verification of Bounded Petri Nets Using Integer Programming
Khomenko, V. and Koutny, M.
Formal Methods in System Design Vol. 30, Issue 2, pp 143-176
Springer, 2007
Notes : Published online 31 August 2006.

Processes of Petri Nets with Range Testing
Kleijn, J. and Koutny, M.
Fundamenta Informaticae Vol. 80, Issue 1-3, pp 199-219
IOS Press, 2007
Notes : Special Issue: Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz .

Process Semantics for Membrane Systems
Kleijn, J., Koutny, M. and Rozenberg, G.
Journal of Automata, Languages and Combinatorics Vol. 11, Issue 3, pp 321-340
Otto-von-Guericke-Universität, Magdeburg, Germany, 2006

Petri Net Semantics of the Finite p-calculus Terms
Devillers, R., Klaudel, H. and Koutny, M.
Fundamenta Informaticae Vol. 70, Issue 3, pp 203-226
IOS Press, 2006

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
Fundamenta Informaticae Vol. 70, Issue 1-2, pp 49-73
IOS Press, 2006

A Petri Net Semantics of a Simple Process Algebra for Mobility
Devillers, R., Klaudel, H. and Koutny, M.
Electronic Notes in Theoretical Computer Science Vol. 154, Issue 3, pp 71-94
Elsevier B.V. , 2006
Notes : Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005), San Francisco, USA, 27 August 2005

Merged Processes: a New Condensed Representation of Petri Net Behaviour
Khomenko, V., Kondratyev, A., Koutny, M. and Vogler, W.
Acta Informatica Vol. 43, Issue 5, pp 307-330
Springer , 2006

Modelling Opacity Using Petri Nets
Bryans, J.W. , Koutny, M. and Ryan P.Y.A.
Electronic Notes in Theoretical Computer Science Vol. 121, pp 101-115
Elsevier Science Publishers BV, 2005
Notes : Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004)

[Abstract]

Detecting State Encoding Conflicts in STG Unfoldings Using SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
Fundamenta Informaticae Vol. 62, Issue 2, pp 221-241
IOS Press, 2004
Notes : Special Issue on Best Papers from ACSD 2003.

Relating Communicating Processes with Different Interfaces
Burton, J., Koutny, M. and Pappalardo, G.
Fundamenta Informaticae Vol. 59, Issue 1, pp 1-37
IOS Press, 2004

A Framed Temporal Logic Programming Language
Duan, Z.-H., Koutny, M.
Journal of Computer Science and Technology Vol. 19, Issue 3, pp 341-351
Allerton Press, Inc., 2004

Process semantics of general inhibitor nets
Kleijn, H.C.M. and Koutny, M.
Information and Computation Vol. 190, Issue 1, pp 18-69
Elsevier Science Publishers BV, 2004

Canonical Prefixes of Petri Net Unfoldings
Khomenko, V., Koutny M. and Vogler W.
Acta Informatica Vol. 40, pp 95-118
Springer-Verlag, 2003

Asynchronous Box Calculus
Devillers, R., Klaudel, H., Koutny, M. and Pommereau, F.
Fundamenta Informaticae Vol. 54, Issue 4, pp 295-344
IOS Press, 2003 ISSN 0169-2968

The Box Algebra = Petri Nets + Process Expressions
Best, E., Devillers, R. and Koutny, M.
Information and Computation Vol. 178, Issue 1, pp 44-100
Academic Press, 2002 ISSN 0890-5401

Behaviour Abstraction for Communicating Sequential Processes
Koutny, M. and Pappalardo, G.
Fundamenta Informaticae Vol. 48, Issue 1, pp 21-54
IOS Press, 2001 ISSN 0169-2968

Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets
Burns, A., Wellings, A.J. and Burns, F.P. et. al.
Computer Systems Science and Engineering (Special Issue: International Workshop on Software Engineering and Petri Nets (SEPN)) Vol. 16, Issue 3, pp 173-182
CRL Publishing Ltd., 2001 ISSN 0267-6192

On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada
Burns, A., Wellings, A.J. and Koelmans, A.M. et. al.
ACM SIGAda Ada Letters Vol. 21, Issue 1, pp 48-55
ACM Press, New York, 2001 ISSN 1094-3641

Recursion and Petri Nets
Best, E., Devillers, R. and Koutny, M.
Acta Informatica Vol. 37, Issue 11-12, pp 781-829
Springer-Verlag Germany, 2001 ISSN 0001-5903

Peter Lauer and COSY
Koutny, M.
Fundamenta Informaticae Vol. 40, Issue 2-3, pp 103-107
IOS Press, 1999 ISSN 0169-2968
Notes : Special issue - tribute to Peter Lauer on the occasion of his retirement.

Fundamental Study: Operational and Denotational Semantics for the Box Algebra
Koutny, M. and Best, E.
Theoretical Computer Science Vol. 211, Issue 1-2, pp 1-83
Elsevier Science Publishers BV, 1999 ISSN 0304-3975

On Causality Semantics of Nets with Priorities
Janicki, R. and Koutny, M.
Fundamenta Informaticae Vol. 38, Issue 3, pp 223-255
IOS Press, 1999 ISSN 0169-2968

Fundamentals of Modelling Concurrency Using Discrete Relational Structures
Janicki, R. and Koutny, M.
Acta Informatica Vol. 34, Issue 5, pp 367-388
Springer-Verlag Germany, 1997 ISSN 0001-5903

Two Implementation Relations and the Correctness of Communicating Replicated Processes
Koutny, M., Mancini, L.V. and Pappalardo, G.
Formal Aspects of Computing Vol. 9, Issue 2, pp 119-148
Springer-Verlag London Ltd./British Computer Society, 1997 ISSN 0934-5043

Semantics of Inhibitor Nets
Janicki, R. and Koutny, M.
Information and Computation Vol. 123, Issue 1, pp 1-16
Academic Press, 1995 ISSN 0890-5401

Representations of Discrete Interval Orders and Semi-Orders
Janicki, R. and Koutny, M.
Journal of Information Processing and Cybernetics EIK Vol. 30, Issue 3, pp 161-168
Akademie-Verlag GmbH, 1994 ISSN 0863-0593

Structure of Concurrency
Janicki, R. and Koutny, M.
Theoretical Computer Science Vol. 112, Issue 1, pp 5-52
Elsevier Science Publishers BV, 1993 ISSN 0304-3975

Petri Net Semantics of Priority Systems
Best, E. and Koutny, M.
Theoretical Computer Science Vol. 96, Issue 1, pp 175-215
Elsevier Science Publishers BV, 1992 ISSN 0304-3975

Adequacy-Preserving Transformations of COSY Path Programs
Koutny, M.
Theoretical Computer Science Vol. 94, Issue 1, pp 141-158
Elsevier Science Publishers BV, 1992 ISSN 0304-3975

Invariants and Paradigms of Concurrency Theory
Janicki, R. and Koutny, M.
Future Generation Computer Systems: Papers from the Workshop on Parallel and distributed workstation systems, Florence, Italy, Sep. 1991 Vol. 8, Issue 1-3, pp 423-435
Elsevier Science Publishers BV, 1992 ISSN 0167-739X

Axiom System Induced by CTL* Logic
Koutny, M.
Fundamenta Informaticae Vol. 14, Issue 2, pp 235-253
IOS Press, 1991 ISSN 0169-2968

Synchronizing Events in Replicated Systems
Koutny, M. and Mancini, L.V
Journal of Systems and Software Vol. 9, Issue 3, pp 183-190
Elsevier Science Inc., 1989 ISSN 0164-1212

The Merlin-Randell Problem of Train Journeys
Koutny, M.
Acta Informatica Vol. 23, Issue 4, pp 429-463
Springer-Verlag Germany, 1986 ISSN 0001-5903

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems
Devillers, R., Janicki, R., Koutny, M. and Lauer, P.E.
Theoretical Computer Science Vol. 43, pp 213-238
Elsevier Science Publishers BV, 1986 ISSN 0304-3975

Identification of Regular Configurations with Partial Information
Koutny, M. and Zakowski, W.
International Journal of Man-Machine Studies Vol. 22, Issue 5, pp 581-587
Academic Press, 1985 ISSN 0020-7373

Petri Nets and Membrane Computing
Kleijn, J. and Koutny, M.
In The Oxford Handbook of Membrane Computing,
Paun, G., Rozenberg, G. and Salomaa, A. (eds.), pp 389-412
Oxford Handbooks in Mathematics,
Oxford University Press, 2010, ISBN 978-0-19-955667-0
Notes : Chapter 15

Preface by Guest Editors
Billington, J. and Koutny, M. (eds.)
In Transactions on Petri Nets and Other Models of Concurrency III,
Jensen, K., Billington, J. and Koutny., M. (eds.), Lecture Notes in Computer Science, 5800
Springer-Verlag, 2009, ISBN 978-3-642-04854-8
Notes : DOI 10.1007/978-3-642-04856-2

Steps and Coverability in Inhibitor Nets
Kleijn, J. and Koutny, M.
In Perspectives in Concurrency Theory ,
Lodaya, K., Mukund, M. and Ramanujam, R. (eds.), pp 264-295
IARCS-Universities,
Universities Press (India) Pvt. Ltd., 2009, ISBN 978-81-7371-652-2
Notes : Festschrift for P.S. Thiagarajan

Formal Languages and Concurrent Behaviours
Kleijn, J. and Koutny, M.
In New Developments in Formal Languages and Applications,
Bel-Enguix, G., Jiménez-López, M.D. and Martín-Vide, C. (eds) , pp 125-182
Studies in Computational Intelligence, 113 Kacprzyk, J. (ed)
Springer-Verlag, 2008, ISBN 978-3-540-78290-2

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems
Iliasov, A., Khomenko, V., Koutny, M. and Romanovsky, A.
In Rigorous Development of Complex Fault-Tolerant Systems,
Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (eds.), pp 168-188
Lecture Notes in Computer Science, 4157
Springer, 2006, ISBN 978-3-540-48265-9

Process Algebra: A Petri-Net-Oriented Tutorial
Best, E., and Koutny, M.
In Lectures on Concurrency and Petri Nets: Advances in Petri Nets,
Desel, J., Reisig, W., and Rozenberg, G. (ed), pp 180-209
Lecture Notes in Computer Science, 3098
Springer-Verlag, 2004, ISBN 3-540-22261-8

Compositional Development In the Event of Interface Difference
Burton, J., Koutny, M., Pappalardo, G. and Pietkiewicz-Koutny, M.
In Concurrency in Dependable Computing,
Ezhilchelvan, P.and Romanovsky, A. (eds.), pp 3-22
Kluwer Academic Publishers, Boston, 2002, ISBN 1-4020-7043-8

Petri Net Algebra
Best, E., Devillers, R. and Koutny, M.
Monographs in Theoretical Computer Science: An EATCS Series,
Springer-Verlag, New York, 2001, ISBN 3-540-67398-9

A Unified Model for Nets and Process Algebras
Best, E., Devillers, R. and Koutny, M.
In Handbook of Process Algebra,
Bergstra, J., Ponse, A. and Smolka, S. (eds.), pp 873-944
Elsevier Science Publishers BV, Netherlands, 2001, ISBN 0-444-82830-3

Petri Nets, Process Algebras and Concurrent Programming Languages
Best, E., Devillers, R., and Koutny, M.
In Lectures on Petri Nets II: Applications, Advances in Petri Nets,
Reisig, W. and Rozenberg, G. (eds.), pp 1-84
Lecture Notes in Computer Science, 1492
Springer-Verlag, 1998, ISBN 3-540-65307-4

Modelling Systems with Dynamic Priorities
Koutny, M.
In Advances in Petri Nets 1992,
Rozenberg, G. (ed), pp 251-266
Lecture Notes in Computer Science, 609
Springer-Verlag, 1992, ISBN 3-540-55610-9

Optimal Simulations, Nets and Reachability Graphs
Janicki, R. and Koutny, M.
In Advances in Petri Nets 1991,
Rozenberg, G. (ed), pp 205-226
Lecture Notes in Computer Science, 524
Springer-Verlag, 1991, ISBN 3-540-54398-8

On Equivalent Execution Semantics of Concurrent Systems
Janicki, R. and Koutny, M.
In Advances in Petri Nets 1986,
Rozenberg, G. (ed), pp 179-190
Lecture Notes in Computer Science, 266
Springer-Verlag, 1987, ISBN 3-540-18086-9

An Approach to State Space Reduction for Systems with Dynamic Process Creation
Klaudel, H., Koutny, M., Pelz, E. and Pommereau, F.
In 2009 24th International Symposium on Computer and Information Sciences, September 14-16, 2009, Middle East Technical University, North Cyprus Campus
Vural, F.Y., Yazici, A., Toroslu, H. et al. (eds.)
pp 543-548
IEEE, 2009
Notes : DOI: 10.1109/ISCIS.2009.5291864

Minimal Regions of ENL-transition Systems
Koutny, M. and Pietkiewicz-Koutny, M.
In Workshop on Concurrency, Specification, and Programming, CS&P 2009, Krakow-Przegorzaly, Poland, 28-30 September 2009
1, pp 303-314
Warsaw University, 2009

Modelling and Verification of Timed Interaction and Migration
Ciobanu, G. and Koutny, M.
In Fundamental Approaches to Software Engineering. 11th International Conference, FASE 2008. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
Fiadeiro, J.L. and Inverardi, P. (eds.)
Lecture Notes in Computer Science, 4961, pp 215-229
Springer- Verlag, 2008

Synthesis of Nets with Step Firing Policies
Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M. and Yakovlev, A.
In Applications and Theory of Petri Nets. 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008
van Hee, K.M. and Valk, R. (eds.)
Lecture Notes in Computer Science, 5062, pp 112-131
Springer-Verlag, 2008
Notes : Best Paper Award

Towards Efficient Verification of Systems with Dynamic Process Creation
Klaudel, H., Koutny, M., Pelz, E. and Pommereau, F.
In Theoretical Aspects of Computing - ICTAC 2008. 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008
Fitzgerald, J.S., Haxthausen, A.E. and Yenigun, H. (eds.)
Lecture Notes in Computer Science, 5160, pp 186-200
Springer-Verlag, 2008

Failures: Their Definition, Modelling and Analysis
Randell, B. and Koutny, M.
In Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 2007
Jones, C.B., Liu, Z. and Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4711, pp 260-274
Springer-Verlag, 2007

Synthesis of Elementary Net Systems with Context Arcs and Localities
Koutny, M. and Pietkiewicz-Koutny, M.
In Petri Nets and Other Models of Concurrency- ICATPN 2007. 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007
Kleijn, J. and Yakovlev, A. (eds.)
Lecture Notes in Computer Science, 4546, pp 281-300
Springer-Verlag, 2007

Modelling Mobility in High-level Petri Nets
Devillers, R., Klaudel, H. and Koutny, M.
In Seventh International Conference on Application of Concurrency to System Design, ACSD 2007, 10-13 July 2007, Bratislava, Slovak Republic
Basten, T., Juhas, G. and Shukla, S. (eds.)
pp 110-119
IEEE Computer Society, 2007

Compositional Abstractions for Interacting Processes
Koutny, M., Pappalardo, G. and Pietkiewicz-Koutny, M.
In Proceedings of the International Multiconference on Computer Science and Information Technology, October 15-17, 2007, Wisla, Poland
2, pp 745-754
Polish Information Processing Society , 2007
Notes : Paper presented at International Conference on Principles of Information Technology and Applications session of 2007 Multiconference.

Synchrony and Asynchrony in Membrane Systems
Kleijn, J. and Koutny, M.
In Membrane Computing. 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006
Hoogeboom, H.J., Paun, G., Rozenberg, G. and Salomaa, A. (eds.)
Lecture Notes in Computer Science, 4361, pp 66-85
Springer , 2006
Notes : Invited lecture

Towards a Petri Net Semantics for Membrane Systems
Kleijn, H.C.M., Koutny, M. and Rozenberg, G.
In Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005
Freund, R., Paun, G., Rozenberg, G. and Salomaa, A. (eds)
Lecture Notes in Computer Science, 3850, pp 292-309
Springer-Verlag, 2006
Notes : Revised selected and invited papers

Transition Systems of Elementary Net Systems with Localities
Koutny, M. and Pietkiewicz-Koutny, M.
In CONCUR 2006 - Concurrency Theory. 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Baier, C. and Hermanns, H. (eds.)
Lecture Notes in Computer Science , 4137, pp 173 - 187
Springer , 2006

Opacity Generalised to Transition Systems
Bryans, J.W., Koutny, M., Mazaré, L. and Ryan, P.Y.A.
In Formal Aspects in Security and Trust. Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005.
Dimitrakos. T., Martinelli, F., Ryan, P.Y.A. and Schneider, S. (eds)
Lecture Notes in Computer Science, 3866, pp 81-95
Springer, 2006
Notes : Revised selected papers.

Applying Petri Net Unfoldings for Verification of Mobile Systems
Khomenko, V., Koutny, M. and Niaouris, A.
In Fourth International Workshop on Modelling of Objects, Components and Agents. MOCA'06
Moldt, D. (ed.)
pp 161-178
Universität Hamburg, Department Informatik, 2006
Notes : MOCA'06 held 26th June 2006, Turku, Finland. Proceedings published as Universität Hamburg, Department Informatik, Bericht FBI-HH-B-272/06

Towards an Algebra of Abstractions for Communicating Processes
Koutny, M., Pappalardo, G. and Pietkiewicz-Koutny, M.
In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland
Goossens, K. and Petrucci, L. (eds)
pp 239-250
IEEE Computer Society, 2006

Infinite Process Semantics of Inhibitor Nets
Kleijn, H. C. M. and Koutny, M.
In Petri Nets and Other Models of Concurrency - ICATPN 2006. 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006
Donatelli, S. and Thiagarajan, P. S. (eds)
Lecture Notes in Computer Science, 4024, pp 282 - 301
Springer, 2006

A Petri Net Translation of p-Calculus Terms
Devillers, R., Klaudel, H. and Koutny, M.
In Theoretical Aspects of Computing - ICTAC 2006. Third International Colloquium , Tunis, Tunisia, November 20-24, 2006
Barkaoui, K., Cavalcanti, A. and Cerone, A. (eds.)
Lecture Notes in Computer Science , 4281, pp 138-152
Springer, 2006

Semantics of Framed Temporal Logic Programs
Duan, Z., Yang, X. and Koutny, M.
In Logic Programming. 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005
Gabbrielli, M. and Gupta, G. (eds.)
Lecture Notes in Computer Science, 3668, pp 356-370
Springer-Verlag, 2005

Merged Processes - a New Condensed Representation of Petri Net Behaviour
Khomenko, V. , Kondratyev, A., Koutny, M., and Vogler, W.
In CONCUR 2005 - Concurrency Theory. 16th International Conference, San Francisco, CA, August 23-26, 2005
Abadi, M. and de Alfaro, L. (eds.)
Lecture Notes in Computer Science, 3653, pp 338-352
Springer-Verlag, 2005

Modelling Dynamic Opacity using Petri Nets with Silent Actions
Bryans, J. W., Koutny, M. and Ryan, P.Y.A.
In IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
Dimitrakos, T. and Martinelli, F. (eds)
IFIP International Federation for Information Processing,, 173, pp 159-172
Springer Verlag, 2005

Context-Based Process Algebras for Mobility
Devillers, R., Klaudel, H. and Koutny, M.
In 4th International Conference on Application of Concurrency to System Design (ACSD 2004),16-18 June 2004, Hamilton, Canada
Kishinevsky M. and Darondeau, Ph. (eds)
pp 79-88
IEEE Computer Society, 2004

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
In Fourth International Conference on Application of Concurrency to System Design, ACSD 2004 ,16-18 June 2004, Hamilton, Ontario, Canada
Kishinevsky M. and Darondeau, Ph. (eds)
pp 16-25
IEEE Computer Society, 2004
Notes : Best paper award at ACSD 2004.

[Abstract]

Petri Net Semantics of the Finite pi-Calculus
Devillers, R., Klaudel, H. and Koutny, M.
In Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30
de Frutos-Escrig, D. and Nunez, M. (eds)
Lecture Notes in Computer Science, 3235, pp 309-325
Springer-Verlag, 2004

Branching Processes of High-Level Petri Nets
Khomenko, V. and Koutny, M.
In 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2003), Warsaw, Poland, 7-11 April 2003
Garavel, H. and Hatcliff, J. (eds.)
Lecture Notes in Computer Science, 2619, pp 458-472
Springer-Verlag, 2003ISBN 3-540-00898-5

[Abstract]

Detecting State Coding Conflicts in STG Unfoldings Using SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
In Third International Conference on Application of Concurrency to System Design, ACSD 2003 , 18-20 June 2003, Guimaraes, Portugal
Lilius, J., Balarin, F. and Machado, R.J. (eds.)
pp 51-60
IEEE Computer Society , 2003ISBN 0-7695-1887-7
Notes : Selected as one of best papers of ACSD 2003.

[Abstract]

Parallelisation of the Petri Net Unfolding Algorithm
Heljanko, K., Khomenko, V. and Koutny, M.
In 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), held as Part of the Joint European Conference on Theory and Practice of Software (ETAPS 2002), Grenoble, France, 8-12 April 2002
Katoen, J.-P. and Stevens, P. (eds.)
Lecture Notes in Computer Science, 2280, pp 371-385
Springer-Verlag, 2002ISBN 3-540-43419-4

An Algebra of Non-safe Petri Boxes
Devillers, R., Klaudel, H., Koutny, M. and Pommereau, F.
In 9th International Conference on Algebraic Methodology and Software Technology (AMAST 2002), Saint-Gilles-les-Bains, Reunion Island, France, 9-13 September 2002
Kirchner, H. and Ringeissen, C. (eds.)
Lecture Notes in Computer Science, 2422, pp 192-207
Springer-Verlag, 2002ISBN 3-540-44144-1

Operational Semantics for PBC with Asynchronous Communication
Devillers, R., Klaudel, H. and Koutny, M. et. al.
In High Performance Computing Symposium (HPC 2002), San Diego, California, USA, 14-18 April 2002
Tentner, A. (ed)
pp 314-319
Society for Computer Simulation, 2002

Detecting State Coding Conflicts in STGs Using Integer Programming
Khomenko, V., Koutny, M. and Yakovlev, A.
In Design, Automation and Test in Europe Conference and Exposition (DATE 2002), Paris, France, 4–8 March 2002
Kloos, C.D. and Franca, J. (eds.)
pp 338-345
IEEE Computer Society Press, 2002ISBN 0-7965-1471-5

Canonical Prefixes of Petri Net Unfoldings
Khomenko, V., Koutny, M. and Vogler, W.
In 14th International Conference on Computer Aided Verification (CAV 2002),Copenhagen, Denmark, 27-31 July 2002
Brinksma E. and Larsen K.G. (eds.)
Lecture Notes in Computer Science, 2404, pp 582-595
Springer-Verlag, 2002ISBN 3-540-43997-8

[Abstract]

Causality Semantics of Petri Nets with Weighted Inhibitor Arcs
Kleijn, H.C.M. and Koutny, M.
In 13th International Conference on Concurrency Theory (CONCUR 2002), Brno, Czech Republic, 20-23 August 2002
Brim, L., Jancar, P., Kretínský, M. and Kucera, A. (eds.)
Lecture Notes in Computer Science, 2421, pp 531-546
Springer-Verlag, 2002ISBN 3-540-44043-7

Verifying Implementation Relations in the Event of Interface Difference
Burton, J., Koutny, M. and Pappalardo, G.
In International Symposium of Formal Methods Europe, FME 2001: Formal Methods for Increasing Software Productivity, Berlin, Germany, 12-16 March 2001
Oliveira, J.N. and Zave, P. (eds.)
Lecture Notes in Computer Science, 2021, pp 364-383
Springer-Verlag, 2001ISBN 3-540-41791-5

Towards an Efficient Algorithm for Unfolding Petri Nets
Khomenko, V. and Koutny, M.
In 12th International Conference on Concurrency Theory (CONCUR 2001), Aalborg, Denmark, 20-25 August 2001
Larsen, K.G. and Nielsen, M. (eds.)
Lecture Notes in Computer Science, 2154, pp 366-380
Springer-Verlag, 2001ISBN 3-540-42497-0

Implementing Communicating Processes in the Event of Interface Difference
Burton, J., Koutny, M. and Pappalardo, G.
In 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), Newcastle upon Tyne, UK, June 25-29 2001
Valmari, A. and Yakovlev, A. (eds.)
pp 87-98
IEEE Computer Society Press, 2001ISBN 0-7695-1071-X

Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets
Burns, A., Wellings, A.J., and Burns, F.P. et. al.
In International Workshop on Software Engineering and Petri Nets (SEPN 2000) (in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000)), Aarhus, Denmark, 26 June 2000
Pezze, M. and Shatz, S.M. (eds.)
pp 115-134
Dept. of Computer Science, University of Aarhus, Denmark, 2000ISBN 0105-8517

LP Deadlock Checking Using Partial Order Dependencies
Khomenko, V. and Koutny, M.
In 11th International Conference on Concurrency Theory (CONCUR 2000), University Park, Pennsylvania, USA, August 22-25, 2000
Palamidessi, C. (ed)
Lecture Notes in Computer Science, 1877, pp 410-425
Springer-Verlag, 2000ISBN 3-540-67897-2

Process Semantics of P/T-Nets with Inhibitor Arcs
Kleijn, H.C.M. and Koutny, M.
In 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 26-30, 2000
Neilsen, M. and Simpson, D. (eds.)
Lecture Notes in Computer Science, 1825, pp 261-281
Springer-Verlag, 2000ISBN 3-540-67693-7

A Compositional Model of Time Petri Nets
Koutny, M.
In 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 26-30, 2000
Neilsen, M. and Simpson, D. (eds.)
Lecture Notes in Computer Science, 1825, pp 303-322
Springer-Verlag, 2000ISBN 3-540-67693-7

The Box Algebra - A Model of Nets and Process Expressions
Best, E., Devillers, R. and Koutny, M.
In 20th Conference on Application and Theory of Petri Nets (ICATPN '99), Williamsburg, Virginia, USA, June 21-25, 1999
Donatelli, S. and Kleijn, H.C.M. (eds.)
Lecture Notes in Computer Science, 1639, pp 344-363
Springer-Verlag, 1999ISBN 3-540-66132-8

A Model of Behaviour Abstraction for Communicating Processes
Koutny, M. and Pappalardo, G.
In 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS '99), Trier, Germany, 4-6 March 1999
Meinel, C. and Tison, S. (eds.)
Lecture Notes in Computer Science, 1563, pp 313-322
Springer-Verlag, 1999ISBN 3-540-50214-9

An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
Hesketh, M. and Koutny, M.
In 19th International Conference on Application and Theory of Petri Nets (ICATPN '98), Lisbon, Portugal, June 22-26, 1998
Desel, J. and Silva, M. (eds.)
Lecture Notes in Computer Science, 1420, pp 165-184
Springer-Verlag, 1998ISBN 3-540-64677-9

Recursive Nets in the Box Algebra
Devillers, R. and Koutny, M.
In 1st International Conference on Application of Concurrency to System Design (CSD '98), Fukushima, Japan, 23-26 March 1998
pp 239-249
IEEE Computer Society Press, 1998ISBN 0-8186-8350-3

Solving Recursive Net Equations
Best, E. and Koutny, M.
In 22nd International Colloquium on Automata, Languages and Programming (ICALP '95), Szeged, Hungary, 10-14 July 1995
Fulop, Z. and Gecseg, F. (eds.)
Lecture Notes in Computer Science, 944, pp 605-623
Springer-Verlag, 1995ISBN 3-540-60084-1

A Refined View of the Box Algebra
Best, E. and Koutny, M.
In 16th International Conference on Application and Theory of Petri Nets (APN 1995), Turin, Italy, June 26-30 1995
De Michelis, G. and Diaz, M. (eds.)
Lecture Notes in Computer Science, 935, pp 1-20
Springer-Verlag, 1995ISBN 3-540-60029-9

On Compositionality and Petri Nets in Protocol Engineering
Anisimov, N. and Koutny, M.
In 15th IFIP TC 6 WG 6.1 International Symposium on Protocol Specification, Testing and Verification (PSTV '95), Warsaw, Poland, June 1995
Dembiniski, P. and Sredniawa, M. (eds.)
IFIP Conference Proceedings, 38, pp 71-86
Chapman & Hall, 1995ISBN 0-412-71620-8

Deriving Histories of Nets with Priority Relation
Janicki, R. and Koutny, M.
In 6th International PARLE Conference on Parallel Architectures and Languages Europe (PARLE '94), Athens, Greece, 4-8 July 1994
Halatsis, C., Maritsas, D., Philokyprou, G. and Theodoridis, S. (eds.)
Lecture Notes in Computer Science, 817, pp 623-634
Springer-Verlag, 1994ISBN 3-540-58184-7

Partial Order Semantics of Box Expressions
Koutny, M.
In 15th International Conference on Application and Theory of Petri Nets (APN 1994), Zaragoza, Spain, June 20-24, 1994
Valette, R. (ed)
Lecture Notes in Computer Science, 815, pp 318-337
Springer-Verlag, 1994ISBN 3-540-58152-9

Projection in Temporal Logic Programming
Duan, Z., Koutny, M. and Holt, C.M.
In 5th International Conference on Logic Programming and Automated Reasoning, Kiev, Ukraine
Pfenning, F.
pp 333-344
Springer-Verlag, 1994

Operational Semantics for the Petri Box Calculus
Koutny, M., Esparza, J. and Best, E.
In 5th International Conference on Concurrency Theory (CONCUR '94) Uppsala, Sweden, 22-25 August 1994
Jonsson, B. and Parrow, J. (eds.)
Lecture Notes in Computer Science, 836, pp 210-225
Springer-Verlag, 1994ISBN 3-540-58329-7

Modelling Replicated Processing
Koutny, M., Mancini, L. and Pappalardo, G.
In 5th International PARLE Conference on Parallel Architectures and Languages Europe (PARLE '93), Munich, Germany, 14-17 June 1993
Bode, A., Reeve, M. and Wolf, G. (eds.)
Lecture Notes in Computer Science, 694, pp 672-675
Springer-Verlag, 1993ISBN 3-540-56891-3

Order Structures and Generalisations of Szpilrajn's Theorem
Janicki, R. and Koutny, M.
In 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '93), Bombay, India, 15-17 December 1993
Shyamasundar, R.K. (ed)
Lecture Notes in Computer Science, 761, pp 348-357
Springer-Verlag, 1993ISBN 3-540-57529-4

Structure of Concurrency
Janicki, R. and Koutny, M.
In 2nd International Conference on Algebraic Methodology and Software Technology (AMAST '91), Iowa City, USA, 22-25 May 1991
Nivat, M., Rattray, C., Rus, T. and Scollo, G. (eds.)
Workshops in Computing, pp 98-107
Springer-Verlag, 1992ISBN 3-540-19797-4

On Some Implementation of Optimal Simulations
Janicki, R. and Koutny, M.
In 2nd Workshop on Computer-Aided Verification (CAV '90), Center for Discrete Mathematics and Theoretical Computer Science, Rutgers University, NJ, USA, 18-21 June 1990
Clarke, E.M. and Kurshan, R.P. (eds.)
DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 3, pp 231-250
American Mathematical Society, 1991ISBN 0-8218-6594-3

Invariant Semantics of Nets with Inhibitor Arcs
Janicki, R. and Koutny, M.
In 2nd International Conference on Concurrency Theory (CONCUR '91), Amsterdam, The Netherlands, 26-29 August 1991
Baeten, J.C.M. and Groote, J.F. (eds.)
Lecture Notes in Computer Science, 527, pp 317-331
Springer-Verlag, 1991ISBN 3-540-54430-5

Using Optimal Simulations to Reduce Reachability Graphs
Janicki, R. and Koutny, M.
In 2nd International Workshop on Computer Aided Verification (CAV '90), New Brunswick, NJ, USA, 18-21 June 1990
Clarke, E.M. and Kurshan, R.P. (eds.)
Lecture Notes in Computing Science, 531, pp 166-175
Springer-Verlag, 1991ISBN 3-540-54477-1

Invariants and Paradigms of Concurrency Theory
Janicki, R. and Koutny, M.
In 3rd International Conference on Parallel Architectures and Languages Europe (PARLE '91), Eindhoven, The Netherlands, 10-13 June 1991
Aarts, E.H.L., van Leeuwen, J. and Rem, M. (eds.)
Lecture Notes in Computer Science, 506, pp 59-74
Springer-Verlag, 1991ISBN 3-540-54152-7

Optimal Simulations, Nets and Reachability Graphs
Koutny, M. and Janicki, R.
In 11th International Conference on Applications and Theory of Petri Nets (APN 1990), Paris, France, June 1990
Rozenberg, G. (ed)
Lecture Notes in Computer Science, 524, pp 205-226
Springer-Verlag, 1991ISBN 3-540-54398-8

Observing Concurrent Histories
Janicki, R. and Koutny, M.
In Workshop on Real-Time Systems: Theory and Applications 1990
pp 1-6
Elsevier Science Publishers B.V., 1990

A Formal Model for Safety-Critical Computing Systems
Saeed, A., Anderson, T., and Koutny, M.
In International Conference on Computer Safety, Reliability and Security (SAFECOMP '90), London, UK, 1990
Daniel, B.K. (ed)
pp 1-6
Elsevier Science (Pergamon Press), 1990ISBN 0-08-040953-9

Asynchronous Communication in Dynamically Structured Systems
Koutny, M. and Hopkins, R.P.
In 1st International Conference on Computing and Information (ICCI '89), Toronto, Canada, 1989
Janicki, R. and Koczkodaj, W. (eds.)
pp 153-159
Elsevier Science Publishers BV (North-Holland), 1989

Towards a Theory of Simulation for Verification of Concurrent Systems
Janicki, R. and Koutny, M.
In 2nd International Symposium on Parallel Architectures and Languages Europe (PARLE '89), Eindhoven, Netherlands, 12-16 June 1989
Odijk, E., Rem, M. and Syre, J.-C. (eds.)
Lecture Notes in Computer Science, 366, pp 73-88
Springer-Verlag, 1989ISBN 3-540-51285-3

Adequacy-Preserving Transformations of COSY Path Programs
Koutny, M.
In 1988 International Conference on Concurrency (Concurrency 88), Hamburg, FRG, 18-19 October 1988
Vogt, F.H. (ed)
Lecture Notes in Computer Science, 335, pp 368-379
Springer-Verlag, 1988ISBN 3-540-50403-6

Modelling Dynamic Distributed Systems
Hopkins, R.P. and Koutny, M.
In 11th Annual International Computer Software and Applications Conference (COMPSAC '87), Tokyo, Japan, October 1987
IEEE Computer Society Press, 1987ISBN 0-8186-0806-4

On Equivalent Execution Semantics of Concurrent Systems
Janicki, R. and Koutny, M.
In 7th European Workshop on Applications and Theory of Petri Nets (APN 1986), Oxford, UK, June 1986
Rozenberg, G. (ed)
Lecture Notes in Computer Science, 266, pp 89-103
Springer-Verlag, 1986ISBN 3-540-18086-9

Formal Specification of N-Modular Redundancy
Koutny, M. and Mancini, L.
In 14th Annual ACM Computer Science Conference (CSC '86), Cincinnati, Ohio, USA, 1986
pp 199-204
ACM Press, New York, 1986ISBN 0-89791-177-6

Synchronisation Strategies in the Merlin-Randell Problem of Train Journeys
Koutny, M.
In 8th ACM International Computing Symposium (ICS '85) - Computing 85: A Broad Perspective of Current Developments, Florence, Italy, March 1985
Bucci, G. and Valle, G. (eds.)
pp 237-243
North-Holland, 1985ISBN 0-444-87738-X

On the Merlin-Randell Problem of Train Journeys
Koutny, M.
In 6th International Symposium on Programming, Toulouse, France, 17-19 April 1984
Paul, M. and Robinet, B. (eds.)
Lecture Notes in Computer Science, 167, pp 179-190
Springer-Verlag, 1984ISBN 3-540-12925-1

CHINA 2008 (Concurrency metHods: Issues aNd Applications)
Kleijn, J. and Koutny, M. (eds.)
School of Computing Science, University of Newcastle upon Tyne, 2008
Notes : Proceedings of Workshop held at Xidian University, Xi'an, China, June 2008. Published as: Technical Report no. CS-TR-1102, School of Computing Science, Newcastle University, June 2008.

2008 8th International Conference on Application of Concurrency to System Design, Proceedings , June 23-27, 2008, Xi'an, China
Billington, J., Duan, Z. and Koutny, M. (eds.)
IEEE Press, 2008
Notes : Print version: ISBN 978-1-4244-1838-1 CD-ROM version: ISBN 978-1-4244-1839-8

Applications and Theory of Petri Nets 2001, Proceedings of 22nd International Conference, ICATPN 2001
Colom, J-M. and Koutny, M. (eds.)
Lecture Notes in Computer Science, 2075
Springer-Verlag, 2001, ISBN 3-540-42252-8

CS-TR N^o 1170 Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence
Randell, B., Koutny, M.
School of Computing Science, Newcastle University, Sep 2009

[Abstract]

CS-TR N^o 1162 Structured Occurence Nets: A formalism for aiding system failure prevention and analysis techniques
Randell, B., Koutny, M.
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1142 Synthesis of PTL-nets with Partially Localised Conflicts
Koutny, M., Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1141 Towards Efficient Synthesis of ENL-systems
Koutny, M., Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1134 Applying Step Coverability Trees to Communicating Component-Based Systems
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Jan 2009

[Abstract]

CS-TR N^o 1120 Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques
Koutny, M., Randell, B.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1119 A Petri Net Model for Membrane Systems with Dynamic Structure
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1118 Steps and Coverability in Inhibitor Nets
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1117 Petri Nets and Membrane Computing
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1102 CHINA 2008 (Concurrency metHods: Issues aNd Applications)
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1080 Synthesis of Nets with Step Firing Policies
Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A.
School of Computing Science, Newcastle University, Mar 2008

[Abstract]

CS-TR N^o 1049 Formal Languages and Concurrent Behaviours
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Sep 2007

[Abstract]

CS-TR N^o 1000 Synthesis of Elementary Net Systems with Context Arcs and Localities
Koutny, M., Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 994 Failures: Their Definition, Modelling and Analysis
Randell, B., Koutny, M.
School of Computing Science, Newcastle University, Dec 2006

[Abstract]

CS-TR N^o 986 Processes of Membrane Systems with Promoters and Inhibitors
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Oct 2006

[Abstract]

CS-TR N^o 985 Processes of Nets with Range Arcs
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Oct 2006

[Abstract]

CS-TR N^o 953 Applying Petri Net Unfoldings for Verification of Mobile Systems
Khomenko, V., Koutny, M., Niaouris, A.
School of Computing Science, Newcastle University, Mar 2006

[Abstract]

CS-TR N^o 949 Towards an Algebra of Abstractions for Communicating Processes
Koutny, M.,Pappalardo, G.,Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Feb 2006

[Abstract]

CS-TR N^o 948 Transition Systems of Elementary Net Systems with Localities
Koutny, M., Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Feb 2006

[Abstract]

CS-TR N^o 941 Processes of Petri Nets with Localities
Kleijn, H.C.M., Koutny, M., Rozenberg, G.
School of Computing Science, Newcastle University, Jan 2006

[Abstract]

CS-TR N^o 932 Infinite Process Semantics of Inhibitor Nets
Kleijn, H.C.M., Koutny, M.
School of Computing Science, Newcastle University, Nov 2005

[Abstract]

CS-TR N^o 919 Towards a Petri net semantics for membrane systems
Kleijn, H. C. M., Koutny, M., Rozenberg, G.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 912 A Petri Net Semantics of a Simple Process Algebra for Mobility
Devillers, R., Klaudel, H., Koutny, M.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 895 An Algebra of Timed-Arc Petri Nets
Niaouris, A., Koutny, M.
School of Computing Science, Newcastle University, Mar 2005

[Abstract]

CS-TR N^o 887 A Petri net translation of pi-calculus terms
Devillers, R., Klaudel, H., Koutny, M.
School of Computing Science, Newcastle University, Jan 2005

[Abstract]

CS-TR N^o 884 Merged Processes - a New Condensed Representation of Petri Net Behaviour
Khomenko, V., Kondratyev, A., Koutny, M., Vogler, W.
School of Computing Science, Newcastle University, Jan 2005

[Abstract]

CS-TR N^o 868 Opacity Generalised to Transition Systems
Bryans, J. W., Koutny, M., Mazare, L., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 855 Modelling Dynamic Opacity using Petri Nets with Silent Actions
Bryans, J. W., Kounty, M., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Aug 2004

[Abstract]

CS-TR N^o 846 Petri net semantics of the finite pi-calculus
Devillers, R., Klaudel, H., Koutny, M
School of Computing Science, Newcastle University, Jun 2004

[Abstract]

CS-TR N^o 840 Modelling Opacity using Petri Nets
Bryans, J., Koutny, M. and Ryan, P.
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 813 Logic Synthesis Avoiding State Space Explosion
Khomenko, V., Koutny, M. and Yakovlev, A.
School of Computing Science, Newcastle University, Aug 2003

[Abstract]

CS-TR N^o 778 Detecting State Coding Conflicts in STG Unfoldings Using SAT
Khomenko, V., Koutny, M., Yakovlev, A.
School of Computing Science, Newcastle University, Sep 2002

[Abstract]

CS-TR N^o 769 Process Semantics of General Inhibitor Nets
H.C.M. Kleijn and M. Koutny
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 763 Branching Processes of High-Level Petri Nets
V. Khomenko and M. Koutny
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 759 Asynchronous Box Calculus
Devillers, R., M. Klaudel, M. Koutny and F. Pommereau
School of Computing Science, Newcastle University, Dec 2002

[Abstract]

CS-TR N^o 757 Relating Communicating Processes with Different Interfaces
J. Burton, M. Koutny and G. Pappalardo
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 752 Compositional Development in the Event of Interface Difference
J. Burton, M. Koutny, G. Pappalardo and M. Pietkiewicz-Koutny
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 744 Visualisation of Partial Order Models in VLSI Design Flow
A. Bystrov, M. Koutny and A. Yakovlev
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 741 Canonical Prefixes of Petri-Net Unfoldings
V. Khomenko, M. Koutny and W Vogler
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 736 Detecting State Coding Conflicts in STGs Using Integer Programming
V. Khomenko, M. Koutny and A. Yakovlev
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 733 Parallelisation of the Petri Net Unfolding Algorithm
K. Heljanko, V. Khomenko and M. Koutny
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 726 An Efficient Algorithm for Unfolding Petri Nets
M. Koutny and V. Khomenko
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 711 Verification of Bounded Petri Nets Using Integer Programming
Khomenko, V. and M. Koutny
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 706 On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada
A. Burns, A.J. Wellings, A.M. Koelmans and M. Koutny
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 700 Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets
A. Burns, A.J. Wellings, . Burns , A.M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 696 Modelling and Verification of Communicating Processes in the Event of Interface Difference
J. Burton, M. Koutny and G. Pappalardo
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 695 Deadlock Checking Using Liner Programming and Partial Order Dependencies
M. Koutny and V. Khomenko
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 636 The ERT Model of Fault-Tolerant Computing and Its Application to a Formalisation of Coordinated Atomic Actions
M. Koutny and G. Pappalardo
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 585 An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
M. Hesketh and M. Koutny
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 575 Compositional Petri Nets in Protocol Engineering
N. Anisimov and M. Koutny
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 495 On the Sleep Sets Method for Partial Order Verification of Concurrent Systems
M. Koutny and M. Pietkiewicz-Koutny
School of Computing Science, Newcastle University, 1995

[Abstract]

CS-TR N^o 491 Two Implementation Relations and the Correctness of Communicating Replicated Processes
M. Koutny, L.V. Mancini and G. Pappalardo
School of Computing Science, Newcastle University, 1994

[Abstract]

CS-TR N^o 452 Projection in Temporal Logic Programming
Duan, Z., Koutny, M. and Holt, C.M.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 425 Order Structures and Generalisations of Szpilrajn's Theorem
Janicki, R. and Koutny, M.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 378 Replication in Acyclic Networks of Communicating Processes
Koutny, M., Mancini, L.V. and Pappalardo, G.
School of Computing Science, Newcastle University, 1992

[Abstract]

CS-TR N^o 367 Structure of Concurrency
Koutny, M. and Janicki, R.
School of Computing Science, Newcastle University, 1991

[Abstract]

CS-TR N^o 355 Invariants and Paradigms of Concurrency Theory
Janicki, R. and Koutny, M.
School of Computing Science, Newcastle University, 1991

[Abstract]

CS-TR N^o 353 Modelling Systems with Dynamic Priorities
Koutny, M.
School of Computing Science, Newcastle University, 1991

[Abstract]

CS-TR N^o 351 Verifying Correctness of Communicating Replicated Processes
Koutny, M., Mancini, L.V. and Pappalardo, G.
School of Computing Science, Newcastle University, 1991

[Abstract]

CS-TR N^o 312 Net Implementation of Optimal Simulations
Janicki, R. and Koutny, M.
School of Computing Science, Newcastle University, 1990

[Abstract]

CS-TR N^o 287 Asynchronous Communication in Dynamically Structured Systems
Hopkins, R.P. and Koutny, M.
School of Computing Science, Newcastle University, 1989

[Abstract]

CS-TR N^o 282 Modelling Concurrent Systems with Dynamic Communication Structure
Hopkins, R.P. and Koutny, M.
School of Computing Science, Newcastle University, 1989

[Abstract]

CS-TR N^o 270 Adequacy-preserving Transformatics of COSY Path Programs
Koutny, M.
School of Computing Science, Newcastle University, 1988

[Abstract]

CS-TR N^o 239 A Model for Dynamically Structured Communicating Systems
Hopkins, R.P. and Koutny, M.
School of Computing Science, Newcastle University, 1987

[Abstract]

CS-TR N^o 237 Synchronizing Events in Replicated Systems
Koutny, M. and Mancini, L.V.
School of Computing Science, Newcastle University, 1987

[Abstract]

CS-TR N^o 234 On Equivalent Execution Semantics of Concurrent Systems
Janicki, R. and Koutny, M.
School of Computing Science, Newcastle University, 1987

[Abstract]

CS-TR N^o 213 Formal Specification of N-modular Redundancy
Mancini, L.V. and Koutny, M.
School of Computing Science, Newcastle University, 1986

[Abstract]

CS-TR N^o 205 Train Journeys in the Merlin-Randell Problem
Koutny, M.
School of Computing Science, Newcastle University, 1985

[Abstract]