| On the models for asynchronous circuit behaviour with OR causality A Yakovlev, M Kishinevsky, A Kondratyev, L Lavagno, ... Formal Methods in System Design 9 (3), 189-233, 1996 | 80 | 1996 |
| The synthesis problem for elementary net systems with inhibitor arcs M Pietkiewicz-Koutny Fundamenta Informaticae 40 (2, 3), 251-283, 1999 | 30 | 1999 |
| Synthesis of nets with step firing policies P Darondeau, M Koutny, M Pietkiewicz-Koutny, A Yakovlev Fundamenta Informaticae 94 (3-4), 275-303, 2009 | 29 | 2009 |
| Transition systems of elementary net systems with inhibitor arcs M Pietkiewicz-Koutny International Conference on Application and Theory of Petri Nets, 310-327, 1997 | 28 | 1997 |
| Synthesis of Petri nets with localities M Koutny, M Pietkiewicz-Koutny Scientific Annals of Computer Science 19, 1, 2009 | 22 | 2009 |
| Transition systems of elementary net systems with localities M Koutny, M Pietkiewicz-Koutny International Conference on Concurrency Theory, 173-187, 2006 | 18 | 2006 |
| Synthesis of Elementary Net Systems with Context Arcs and Localities M Koutny, M Pietkiewicz-Koutny Fundamenta Informaticae 88 (3), 307-328, 2008 | 15 | 2008 |
| Step semantics of boolean nets J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg Acta informatica 50 (1), 15-39, 2013 | 14 | 2013 |
| Synthesising elementary net systems with inhibitor arcs from step transition systems M Pietkiewicz-Koutny Fundamenta Informaticae 50 (2), 175-203, 2002 | 12 | 2002 |
| Synthesis of nets with step firing policies P Darondeau, M Koutny, M Pietkiewicz-Koutny, A Yakovlev International Conference on Applications and Theory of Petri Nets, 112-131, 2008 | 10 | 2008 |
| Applying regions J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg Theoretical Computer Science 658, 205-215, 2017 | 9 | 2017 |
| Persistent and nonviolent steps and the design of GALS systems J Fernandes, M Koutny, Ł Mikulski, M Pietkiewicz-Koutny, D Sokolov, ... Fundamenta Informaticae 137 (1), 143-170, 2015 | 9 | 2015 |
| Regions of Petri nets with a/sync connections J Kleijn, M Koutny, M Pietkiewicz-Koutny Theoretical Computer Science 454, 189-198, 2012 | 8 | 2012 |
| A taxonomy of persistent and nonviolent steps M Koutny, Ł Mikulski, M Pietkiewicz-Koutny International Conference on Applications and Theory of Petri Nets and …, 2013 | 7 | 2013 |
| Synthesis of ENI-systems using minimal regions M Pietkiewicz-Koutny International Conference on Concurrency Theory, 565-580, 1998 | 7 | 1998 |
| Compositional Development in the Event of Interface Difference J Burton, M Koutny, G Pappalardo, M Pietkiewicz-Koutny Concurrency in Dependable Computing, 3-22, 2002 | 6 | 2002 |
| Non-pure nets and their transition systems M Pietkiewicz-Koutny, A Yakovlev TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE, 1995 | 6 | 1995 |
| Step persistence in the design of GALS systems J Fernandes, M Koutny, M Pietkiewicz-Koutny, D Sokolov, A Yakovlev International Conference on Applications and Theory of Petri Nets and …, 2013 | 5 | 2013 |
| On the sleep sets method for partial order verification of concurrent systems M Koutny, M Pietkiewicz-Koutny University of Newcastle upon Tyne. Computing Laboratory, 1995 | 5 | 1995 |
| Tissue systems and Petri net synthesis J Kleijn, M Koutny, M Pietkiewicz-Koutny Transactions on Petri Nets and Other Models of Concurrency IX, 124-146, 2014 | 4 | 2014 |
