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
BookDOI
Preface by editor-in-chief
TL;DR: The 9th Issue of LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) contains revised and extended versions of a selection of the best papers from the workshops held at the 34th International Conference on Application and Theory of Petri nets and Concurrency.
Journal ArticleDOI
Reaction Systems and Enabling Equivalence
TL;DR: This paper investigates enabling equivalence which focuses on the system behaviour only in specific stages of its evolution, namely those where all of its reactions are active and its relationship to a transition system representation of the system’s behaviour.
Book ChapterDOI
Order Structures for Subclasses of Generalised Traces
TL;DR: This paper provides a systematic classification of different subclasses of generalised traces in terms of the order structures representing them and shows how the original trace model fits into the overall framework.
Book ChapterDOI
An efficient characterization of petri net solvable binary words
TL;DR: It is shown that the set of solvable words is ‘smaller than expected’, and the existing conjecture that all of them can be generated by quite simple net is not only confirmed, but indeed reinforced.
BookDOI
Transactions on petri nets and other models of concurrency XII
TL;DR: A set of necessary conditions for a Petri net to be plain, pure and safe is given.