High-Level Koutny Net

This issue is dedicated to Professor Maciej Koutny for celebrating his 60th birthday, and consists of five contributions written by his friends and collaborators. This issue is dedicated to Professor Maciej Koutny for celebrating his 60th birthday. We celebrate Maciej not only for his 60th birthday, but also as an excellent researcher and a very good friend. There are five contributions written by his friends and collaborators. Each contribution has been carefully read through by at least two reviewers, and this improved the already high-quality articles. Many thanks to all of them, authors and reviewers! Maciej Koutny is a Professor of Computing Science in the School of Computing at Newcastle University. He received his MSc and PhD in Applied Mathematics from the Warsaw University of Technology. Then Maciej joined the Computing Laboratory of the Newcastle University in UK, where he is now the director of research in the School of Computing. Professor Maciej Koutny is a very active member of the Petri Net community, being currently the chair of the International Petri Net Steering Committee. He has investigated various semantics of Petri nets (causality semantics, step traces), synthesis and verification of Petri nets, model checking based on net unfoldings. Some of his work is devoted to the unification of Petri nets and process algebras, to the relationship between temporal logics and process algebras, as well as to modelling mobile and dynamic systems. He is also involved in scientific communities related to membrane computing and reaction systems representing novel models of computation inspired by the functioning of the living cells. He has been working on their