| On the models for asynchronous circuit behaviour with OR causality A Yakovlev, M Kishinevsky, A Kondratyev, L Lavagno, ... Formal Methods in System Design 9, 189-233, 1996 | 84 | 1996 |
| The synthesis problem for elementary net systems with inhibitor arcs M Pietkiewicz-Koutny Fundamenta Informaticae 40 (2-3), 251-283, 1999 | 43 | 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 | 37 | 2009 |
| Transition systems of elementary net systems with inhibitor arcs M Pietkiewicz-Koutny Application and Theory of Petri Nets 1997: 18th International Conference …, 1997 | 35 | 1997 |
| Synthesis of Petri nets with localities M Koutny, M Pietkiewicz-Koutny Scientific Annals of Computer Science 19, 1, 2009 | 30 | 2009 |
| Transition systems of elementary net systems with localities M Koutny, M Pietkiewicz-Koutny CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006 | 26 | 2006 |
| Synthesis of elementary net systems with context arcs and localities M Koutny, M Pietkiewicz-Koutny Fundamenta Informaticae 88 (3), 307-328, 2008 | 24 | 2008 |
| Step semantics of boolean nets J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg Acta Informatica 50, 15-39, 2013 | 19 | 2013 |
| Regions of Petri nets with a/sync connections J Kleijn, M Koutny, M Pietkiewicz-Koutny Theoretical Computer Science 454, 189-198, 2012 | 17 | 2012 |
| Synthesis of nets with step firing policies P Darondeau, M Koutny, M Pietkiewicz-Koutny, A Yakovlev Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008 | 14 | 2008 |
| Synthesising elementary net systems with inhibitor arcs from step transition systems M Pietkiewicz-Koutny Fundamenta Informaticae 50 (2), 175-203, 2002 | 14 | 2002 |
| Applying regions J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg Theoretical Computer Science 658, 205-215, 2017 | 13 | 2017 |
| Synthesis of ENI-systems using minimal regions M Pietkiewicz-Koutny CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 12 | 1998 |
| Persistent and nonviolent steps and the design of GALS systems JM Colom, J Desel, J Kleijn, J Fernandes, M Koutny, Ł Mikulski, ... Fundamenta Informaticae 137 (1), 143-170, 2015 | 10 | 2015 |
| Minimal regions of ENL-transition systems M Koutny, M Pietkiewicz-Koutny Fundamenta Informaticae 101 (1-2), 45-58, 2010 | 10 | 2010 |
| Asynchrony and persistence in reaction systems M Koutny, M Pietkiewicz-Koutny, A Yakovlev Theoretical Computer Science 881, 97-110, 2021 | 7 | 2021 |
| Algorithms for the synthesis of elementary net systems with localities A Ahmed, M Pietkiewicz-Koutny International Workshop on Petri Nets and Software Engineering (PNSE'2020), 2020 | 7 | 2020 |
| Classifying Boolean Nets for Region-based Synthesis. J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg ART@ Petri Nets, 5-21, 2011 | 7 | 2011 |
| Compositional Development in the Event of Interface Difference J Burton, M Koutny, G Pappalardo, M Pietkiewicz-Koutny Concurrency in Dependable Computing, 3-22, 2002 | 7 | 2002 |
| Synthesising elementary net systems with localities A Ahmed, M Koutny, M Pietkiewicz-Koutny Theoretical Computer Science 908, 123-140, 2022 | 6 | 2022 |
