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
Merged processes: a new condensed representation of Petri net behaviour
TL;DR: In this paper, a condensed representation of a Petri net's behaviour called merged processes is proposed, which copes well not only with concurrency, but also with other sources of state space explosion, viz sequences of choices and non-safety.
Parallelisation of the Petri Net Unfolding Algorithm
TL;DR: A modification of this algorithm is proposed, which can be efficiently parallelised and admits a more efficient implementation, and resulting algorithms potentially can achieve significant speedup comparing with the sequential case.
Journal Article
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT
TL;DR: This paper proposes an efficient algorithm for logic synthesis based on the Incremental Boolean Satisfiability (SAT) approach and shows that this technique leads not only to huge memory savings when compared with the methods based on reachability graphs, but also to significant speedups in many cases, without affecting the quality of the solution.
Book ChapterDOI
Branching processes of high-level Petri nets
Victor Khomenko,Maciej Koutny +1 more
TL;DR: In this paper, the authors define branching processes and unfoldings of high-level Petri nets and propose an algorithm which builds finite and complete prefixes of such unfoldings, which is often better than the usual explicit construction of the intermediate low-level net.
Book
Transactions on Petri nets and other models of concurrency
Kurt Jensen,Wil M. P. van der Aalst,Jonathan Billington,Maciej Koutny,Susanna Donatelli,Jetty Kleijn +5 more
TL;DR: In Memoriam: Carl Adam Petri, professor of computer science, University of Oxford.