| Publication | Date of Publication | Type |
|---|
| Reversing Steps in Petri Nets | 2024-01-29 | Paper |
| Reversing Unbounded Petri Nets | 2024-01-29 | Paper |
| Reaction Systems, Transition Systems, and Equivalences | 2023-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884964 | 2023-03-24 | Paper |
| Formal translation from reversing Petri nets to coloured Petri nets | 2022-11-11 | Paper |
| Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view | 2022-02-21 | Paper |
| Investigating Reversibility of Steps in Petri Nets | 2022-02-01 | Paper |
| Algebraic Structure of Step Traces and Interval Traces | 2021-05-20 | Paper |
| Relational structures for concurrent behaviours | 2021-03-09 | Paper |
| Reaction Systems and Enabling Equivalence | 2020-06-21 | Paper |
| Generating all minimal Petri net unsolvable binary words | 2020-02-14 | Paper |
| An extension of the taxonomy of persistent and nonviolent steps | 2020-02-07 | Paper |
| Approximate verification of strategic abilities under imperfect information | 2020-01-20 | Paper |
| An efficient characterization of Petri net solvable binary words | 2019-12-18 | Paper |
| Classifying invariant structures of step traces | 2019-06-25 | Paper |
| Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended Version) | 2019-02-08 | Paper |
| A Precise Characterisation of Step Traces and Their Concurrent Histories | 2019-02-08 | Paper |
| Reversing Transitions in Bounded Petri Nets | 2018-05-03 | Paper |
| Alphabets of Acyclic Invariant Structures | 2018-01-19 | Paper |
| Invariant Structures and Dependence Relations | 2018-01-19 | Paper |
| Conditions for Petri Net Solvable Binary Words | 2017-06-20 | Paper |
| Reversible Computation vs. Reversibility in Petri Nets | 2016-08-10 | Paper |
| Persistent and Nonviolent Steps and the Design of GALS Systems | 2016-05-11 | Paper |
| Characterising Concurrent Histories | 2016-04-28 | Paper |
| Square-Free Words over Partially Commutative Alphabets | 2016-04-08 | Paper |
| Order Structures for Subclasses of Generalised Traces | 2016-04-08 | Paper |
| Step traces | 2016-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5501011 | 2015-08-10 | Paper |
| Folded Hasse diagrams of combined traces | 2014-04-15 | Paper |
| Transposition Rearrangement: Linear Algorithm for Length-Cost Model | 2014-04-02 | Paper |
| Algebraic Structure of Combined Traces | 2013-09-06 | Paper |
| A Taxonomy of Persistent and Nonviolent Steps | 2013-06-28 | Paper |
| On persistent reachability in Petri nets | 2013-06-06 | Paper |
| Algebraic Structure of Combined Traces | 2012-09-25 | Paper |
| Internal Conflict-Free Projection Sets | 2010-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506382 | 2009-01-28 | Paper |
