Maciej Koutny
Newcastle University
H-index: 36
Europe-United Kingdom
Top articles of Maciej Koutny
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Structured Acyclic Nets | arXiv preprint arXiv:2401.07308 | Mohammed Alahmadi Salma Alharbi Talal Alharbi Nadiyah Almutairi Tuwailaa Alshammari | 2024/1/14 |
Relational Structures for Interval Order Semantics of Concurrent Systems | The 45th International Conference on Theory and Application of Petri Nets and Concurrency | R Janicki J Kleijn M Koutny L Mikulski | 2024 |
Transactions on Petri Nets and Other Models of Concurrency XVII | Susanna Donatelli Kurt Jensen | 2010 | |
Synthesising Elementary Net Systems with Interval Order Semantics | Algorithms | Maciej Koutny Marta Pietkiewicz-Koutny | 2023/6/26 |
Interval Traces with Mutex Relation | Ryszard Janicki Maciej Koutny Łukasz Mikulski | 2023/5/28 | |
Improving placement of CSA-nets | Mohammed Alahmadi Maciej Koutny | 2023/2/5 | |
Confusion-tolerant computation of probability in acyclic nets | Anirban Bhattacharyya Maciej Koutny | 2023/11/1 | |
Slimming down Petri boxes: Compact Petri net models of control flows | Victor Khomenko Maciej Koutny Alex Yakovlev | 2022 | |
Elementary Net Systems | Guanjun Liu | 2022/11/4 | |
Step Traces | Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski | 2022/6/7 | |
Concurrency Paradigms | Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski | 2022/6/7 | |
Semantical Domains | Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski | 2022/6/7 | |
Investigating Reversibility of Steps in Petri Nets | Fundamenta Informaticae | M Koutny L Mikulski | 2022 |
General Structures | Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski | 2022/6/7 | |
Elementary Net Systems with Activator and Mutex Arcs | Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski | 2022/6/7 | |
Subclasses of Step Traces | Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski | 2022/6/7 | |
Paradigms of Concurrency: Observations, Behaviours, and Systems—a Petri Net View | Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski | 2022/6/6 | |
Synthesising elementary net systems with localities | Theoretical Computer Science | Aishah Ahmed Maciej Koutny Marta Pietkiewicz-Koutny | 2022/3/24 |
Concurrency Traces | Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski | 2022/6/7 | |
Avoiding exponential explosion in Petri net models of control flows | Victor Khomenko Maciej Koutny Alex Yakovlev | 2022/6/13 |