Newcastle University

Marta Pietkiewicz-Koutny received her M.Sc. in Applied Mathematics from the Warsaw University of Technology in 1982. In 1984 she joined the Department of Operational Research, Institute of Econometrics in the Warsaw University of Economics where she worked as a junior lecturer until 1986.

In 1987 she joined the Computing Laboratory of the University of Newcastle upon Tyne first as a research associate and then as a demonstrator (1988-1997). In the period 1997-2000 she was a Ph.D. student at the Department of Computing Science of the University of Newcastle upon Tyne, and in December 2000 she was awarded her Ph.D. degree. In the period 2000-2003 she was a researcher on the EU-funded DSoS (Dependable Systems of Systems) project, and in 2003 she was appointed a lecturer in the School of Computing Science.

Dr. Pietkiewicz-Koutny’s research interests concentrate on modelling and validation of concurrent systems. The main topic of her research is the synthesis of Petri nets from transition systems.

• Koutny M, Pietkiewicz-Koutny M. Synthesis of General Petri Nets with Localities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1195.
• Koutny M, Pietkiewicz-Koutny M. Synthesis of Elementary Net Systems with Context Arcs and Localities. In: Fundamenta Informaticae: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007). 2007, Siedlce, Poland: IOS Press.
• Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Synthesis of nets with step firing policies. Fundamenta Informaticae 2009, 94(3-4), 275-303.
• Koutny M, Pietkiewicz-Koutny M. Synthesis of General Petri Nets with Localities. In: Application of Region Theory (ART). 2010, Braga, Portugal: IEEE.
• Koutny M, Pietkiewicz-Koutny M. Minimal Regions of ENL-transition Systems. In: Workshop on Concurrency, Specification, and Programming (CS&P). 2009, Kraków-Przegorzały, Poland: Warsaw University.
• Koutny M, Pietkiewicz-Koutny M. Minimal Regions of ENL-Transition Systems. Fundamenta Informaticae 2010, 101(1-2), 45-58.
• Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Synthesis of Nets with Step Firing Policies. Fundamenta Informaticae 2009, 94(3-4), 275-303.
• Koutny M, Pietkiewicz-Koutny M. Synthesis of Petri Nets with Localities. Scientific Annals of Computer Science 2009, 19, 1-23.
• Koutny M, Pietkiewicz-Koutny M. Synthesis of PTL-nets with Partially Localised Conflicts. In: Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE'09. 2009, Paris, France: University of Hamburg, Department of Informatics.
• Koutny M, Pietkiewicz-Koutny M. Synthesis of PTL-nets with Partially Localised Conflicts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1142.
• Koutny M, Pietkiewicz-Koutny M. Towards Efficient Synthesis of ENL-systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1141.
• Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Compositional Abstractions for Process Networks. IADIS International Journal on Computer Science and Information Systems 2008, 3(1), 71-85.
• Koutny M, Pietkiewicz-Koutny M. Synthesis of Elementary Net Systems with Context Arcs and Localities. Fundamenta Informaticae 2008, 88(3), 307-328.
• Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Synthesis of Nets with Step Firing Policies. In: Applications and Theory of Petri Nets: 29th International Conference. 2008, Xi'an, China: Springer-Verlag.
• Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Synthesis of Nets with Step Firing Policies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1080.
• Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Compositional Abstractions for Interacting Processes. In: Proceedings of the International Multiconference on Computer Science and Information Technology. 2007, Wisla, Poland: Polish Information Processing Society.
• Koutny M, Pietkiewicz-Koutny M. Synthesis of Elementary Net Systems with Context Arcs and Localities. In: 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN). 2007, Siedlce, Poland: Springer-Verlag.
• Koutny M, Pietkiewicz-Koutny M. Synthesis of Elementary Net Systems with Context Arcs and Localities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1000.
• Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Towards an Algebra of Abstractions for Communicating Processes. In: Sixth International Conference on Application of Concurrency to System Design (ACSD). 2006, Turku, Finland: IEEE Computer Society.
• Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Towards an Algebra of Abstractions for Communicating Processes. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 949.
• Koutny M, Pietkiewicz-Koutny M. Transition Systems of Elementary Net Systems with Localities. In: Concurrency Theory: 17th International Conference (CONCUR). 2006, Bonn, Germany: Springer.
• Koutny M, Pietkiewicz-Koutny M. Transition Systems of Elementary Net Systems with Localities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 948.
• Burton J, Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Compositional Development in the Event of Interface Difference. In: Ezhilchelvan, P., Romanovsky, A, ed. Concurrency in Dependable Computing. Boston: Kluwer Academic Publishers, 2002, pp.3-22.
• Pietkiewicz-Koutny M. Synthesising elementary net systems with inhibitor arcs from step transition systems. Fundamenta Informaticae 2002, 50(2), 175-203.
• Burton J, Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Compositional Development in the Event of Interface Difference. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 752.
• Pietkiewicz-Koutny M. Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems. In: 2nd International Conference on Application of Concurrency to System Design (ACSD). 2001, Newcastle upon Tyne, UK: IEEE Computer Society Press.
• Pietkiewicz-Koutny M. Relating Formal Models of Concurrency for the Modelling of Asynchronous Digital Hardware [PhD thesis]. Newcastle upon Tyne: University of Newcastle upon Tyne, 2000. Department of Computing Science.
• Pietkiewicz-Koutny M. Synthesis of Net systems with Inhibitor Arcs from Step Transition systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 673.
• Pietkiewicz-Koutny M. The synthesis problem for elementary net systems with inhibitor arcs. Fundamenta Informaticae 1999, 40(2-3), 251-283.
• Pietkiewicz-Koutny M. Synthesis of ENI-systems Using Minimal Regions. In: 9th International Conference on Concurrency Theory (CONCUR). 1998, Nice, France: Springer-Verlag.
• Pietkiewicz-Koutny M. Synthesis of ENI-Systems Using Minimal Regions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 632.
• Pietkiewicz-Koutny M. Morphisms for Inhibitor Nets and Related Transition Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 613.
• Pietkiewicz-Koutny M. Transition Systems of Elementary Net Systems with Inhibitor Arcs. In: 18th International Conference on Application and Theory of Petri Nets (ICATPN '97). 1997, Toulouse, France: Springer-Verlag.
• Yakovlev A, Kishinevsky M, Kondratyev A, Lavagno L, Pietkiewicz-Koutny M. On the models for asynchronous circuit behaviour with OR causality. Formal Methods in System Design 1996, 9(3), 189-233.
• Pietkiewicz-Koutny M. Transition Systems of Elementary Net Systems with Inhibitor Arcs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 547.
• Pietkiewicz-Koutny M, Yakovlev A. Non-Pure Nets and Their Transition Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 528.
• Koutny M, Pietkiewicz-Koutny M. On the Sleep Sets Method for Partial Order Verification of Concurrent Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 495.
• Pietkiewicz-Koutny M. Modelling Reconfigurability using Graph Grammars and Petri Nets. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 356.
• Pietkiewicz-Koutny M. Modelling Dynamic Reconfiguration in TMR Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 261.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M. Regions of Petri Nets with a/sync Connections. Theoretical Computer Science 2012, 454, 189-198.
• Koutny M, Pietkiewicz-Koutny M. Synthesis of General Petri Nets with Localities. In: Recent Advances in Petri Nets and Concurrency (RAPNeC-2010). 2012, Braga, Portugal: CEUR Workshop Proceedings.
• Koutny M, Pietkiewicz-Koutny M. Synthesis Problem for Petri Nets with Localities. Lecture Notes in Computer Science 2012, 6900, 160-180.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Classifying Boolean Nets for Region-based Synthesis. In: ART-2011, Applications of Region Theory. 2011, Newcastle upon Tyne: CEUR-WS, RWTH Aachen University.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M. Regions of Petri Nets with a/sync Connections. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1297.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Step Semantics of Boolean Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1298.
• Koutny M, Pietkiewicz-Koutny M. Synthesis Problem for Petri Nets with Localities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1288.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Step semantics of boolean nets. Acta Informatica 2013, 50(1), 15-39.
• Koutny M, Mikulski L, Pietkiewicz-Koutny M. A Taxonomy of Persistent and Nonviolent Steps. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1361.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Membrane Systems and Petri Net Synthesis. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1356.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Membrane Systems and Petri Net Synthesis. In: 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC). 2012, Newcastle upon Tyne, UK: Cornell University Library.
• Fernandes J, Koutny M, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. Step Persistence in the Design of GALS Systems. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1349.