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
Merged Processes - a New Condensed Representation of Petri Net Behaviour
TL;DR: Experimental results indicate that the proposed representation of a Petri net’s behaviour alleviates the state space explosion problem to a significant degree and is suitable for model checking.
Book ChapterDOI
Synthesis of Petri Nets with Whole-Place Operations and Localities
TL;DR: This paper focuses on the problem of synthesising Petri nets with whole-place operations and localities (wpol-nets), which are a class of Petrinets powerful enough to express a wide range of system behaviours, including inhibition of actions, resetting of local states, and locally maximal executions.
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
TL;DR: This paper transfers the notion of duplication equivalence to the domain of box expressions and investigates the relationship between duplication equivalent boxes and box expressions.
Journal ArticleDOI
Asynchrony and Persistence in Reaction Systems
TL;DR: This paper ‘de-synchronise’ such an execution model by allowing only a subset of enabled reactions to be executed, and demonstrates that reaction persistence can be implemented.
Journal ArticleDOI
Plug-in Context Providers for Reaction Systems
TL;DR: This paper introduces and investigates a ‘plug-in’ methodology for providing context sequences, where the interaction between a reaction system and its environment is modelled through context sequences provided by the environment.