Maciej Koutny
Newcastle University(GB)
Publications by Year
Research Areas
Petri Nets in System Modeling, Formal Methods in Verification, Business Process Modeling and Analysis, Distributed systems and fault tolerance, DNA and Biological Computing
Most-Cited Works
- → Opacity generalised to transition systems(2008)277 cited
- → Modelling Opacity Using Petri Nets(2005)178 cited
- → Petri Net Algebra(2001)148 cited
- → Semantics of Inhibitor Nets(1995)142 cited
- → Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications(2020)131 cited
- → Framed temporal logic programming(2007)93 cited
- → Structure of concurrency(1993)86 cited