Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Lukasz Mikulski

Newcastle AuthorsTitleYearFull text
Professor Maciej Koutny
Dr Lukasz Mikulski
Investigating Reversibility of Steps in Petri Nets2020
Professor Henriette Kleijn
Professor Maciej Koutny
Dr Lukasz Mikulski
Reaction Systems and Enabling Equivalence2020
Professor Maciej Koutny
Dr Lukasz Mikulski
Relational structures for concurrent behaviours2020
Professor Maciej Koutny
Dr Lukasz Mikulski
Classifying Invariant Structures of Step Traces2019
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversing Steps in Petri Nets2019
Professor Maciej Koutny
Dr Lukasz Mikulski
An efficient characterization of petri net solvable binary words2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Reaction Systems, Transition Systems, and Equivalences2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversible computation vs. reversibility in Petri nets2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversing Transitions in Bounded Petri Nets2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Alphabets of Acyclic Invariant Structures2017
1234