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
Membrane Systems and Petri Net Synthesis
TL;DR: In this article, the authors focus on the problem of synthesizing a membrane system from a behavioral specification given in the form of a transition system which specifies the desired state space of the system to be constructed.
Petri Nets for Biologically Motivated Computing
TL;DR: This survey paper is concerned with intrinsic relationships between Petri nets and two formal models inspired by aspects of the functioning of the living cell: membrane systems and reaction systems.
Journal ArticleDOI
On developing and verifying design abstractions for reliable concurrent programming in Ada
TL;DR: This paper argues that Petri nets offer a promising, tool-supported, technique for checking the logical correctness of abstractions, and illustrates the effectiveness of this approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools.
Synthesis of General Petri Nets with Localities
TL;DR: In this article, Petri nets with overlapping localities are extended to allow each transition to belong to several localities, where transitions are partitioned into disjoint groups within which execution is synchronous and maximally concurrent.
Unfolding CSPT-nets
Bowen Li,Maciej Koutny +1 more
TL;DR: This paper investigates CSpt-nets unfoldings containing representations of all the single runs of the original nets captured by csons, and develops several useful notions related to cspt-net unfoldings, and presents an algorithm for constructing the new class of unfolding.