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 Article
Asynchronous box calculus
TL;DR: The Asynchronous Box Calculus (ABC) as mentioned in this paper is a dual model based on Petri nets and process expressions, suitable for modelling and analysing distributed systems whose components can interact using both synchronous and asynchronous communication.
Journal ArticleDOI
Step traces
TL;DR: This paper investigates an extension of the trace model to the case that actions can be observed as occurring simultaneously and presents a complete picture including dependence structures extending dependence graphs, and a characterisation of step traces in terms of invariant order structures.
Applying Petri Net Unfoldings for Verification of Mobile Systems
TL;DR: This paper developed a prototype tool based on an existing compositional translation from a finite fragment of the π-calculus into a class of high-level Petri nets, and described initial experimental results in support of specific design choices.
Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques
Maciej Koutny,Brian Randell +1 more
TL;DR: In this paper, the authors introduce the concept of a structured occurrence net, which is based on that of an "occurrence net", a well-established formalism for an abstract record that represents causality and concurrency information concerning a single execution of a system.
Book ChapterDOI
Formal Languages and Concurrent Behaviours
Jetty Kleijn,Maciej Koutny +1 more
TL;DR: This tutorial uses Petri nets as an underlying system model which allows one to clearly distinguish between causality and independence between executions of actions, a major feature of concurrent behaviour.