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
Book ChapterDOI
Causality in structured occurrence nets
Jetty Kleijn,Maciej Koutny +1 more
TL;DR: This paper develops a cso-net based process semantics for cspt-nets showing that causality in c so-nets is underpinned by stratified order structures extending causal partial orders with weak causality.
Timed Mobility in Process Algebra and Petri Nets
Maciej Koutny,Gabriel Ciobanu +1 more
TL;DR: In this article, the authors present a process algebra called TiMo in which timeouts of interactions and adaptable migrations in a distributed environment with explicit locations can be specified, and a migration action with variable destination supports flexible movement from one location to another.
Book ChapterDOI
Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell
TL;DR: The main notions of the basi model of the basic model of reaction systems which is a qualitative model are reviewed and various ways of taking into account quantitative properties are discussed.
Book ChapterDOI
Optimal simulations, nets and reachability graphs
Ryszard Janicki,Maciej Koutny +1 more
TL;DR: It is shown how the optimal simulation can be used to generate a reachabilitygraph which is usually much smaller than the standard reachability graph of the system, and which essentially convey the same information about the system's behaviour.
Journal ArticleDOI
Processes of membrane systems with promoters and inhibitors
Jetty Kleijn,Maciej Koutny +1 more
TL;DR: This work considers synchrony and asynchrony between executed reactions in the computations of membrane systems using Petri nets and their processes as a formal behavioural model, and shows how they can be rendered within the Petri net domain by assigning all transitions localities corresponding to the compartments.