M
Maciej Koutny
Researcher at Newcastle University
Publications - 327
Citations - 5356
Maciej Koutny is an academic researcher from Newcastle University. The author has contributed to research in topics: Petri net & Concurrency. The author has an hindex of 35, co-authored 321 publications receiving 5080 citations. Previous affiliations of Maciej Koutny include Warsaw University of Technology & National Chemical Laboratory.
Papers
More filters
Journal ArticleDOI
Step coverability algorithms for communicating systems
Jetty Kleijn,Maciej Koutny +1 more
TL;DR: This work investigates a general class of Petri nets modelling systems that consist of components communicating through shared buffers and that operate under a maximally concurrent step semantics, and derives a correctly terminating step coverability tree construction for these Petrinets.
Book ChapterDOI
Relevance of Entities in Reaction Systems
TL;DR: This paper investigates which entities are actually relevant from the point of view of generating dynamic processes through such state transformations in reaction systems.
Journal ArticleDOI
Identification of regular configurations with partial information
Wojciech Żakowski,Maciej Koutny +1 more
TL;DR: An algorithm for identification of three binary relationships: alliance, conflict and neutrality, which are the starting points of a mathematical model of conflict situations, is considered and its optimality is proved.
Proceedings ArticleDOI
From Petri Nets with Shared Variables to ITL
TL;DR: This paper considers a compositional model of (high-level) Petri nets where concurrent processes communicate through shared variables and proposes a method for translating a design expressed using a high-level Petri net into a semantically equivalent ITL formula.