| Publication | Date of Publication | Type |
|---|
| Petri Net Primer | 2024-03-11 | Paper |
| Linear constraint systems as high-level nets | 2023-06-28 | Paper |
| Compositional process semantics of Petri Boxes | 2023-04-28 | Paper |
| Refinement of coloured petri nets | 2022-12-09 | Paper |
| Orthogonal transformations for coloured Petri nets | 2022-12-09 | Paper |
| A New Property of Choice-Free Petri Net Systems | 2022-09-01 | Paper |
| A refined view of the box algebra | 2022-08-16 | Paper |
| A class of composable high level Petri nets | 2022-08-16 | Paper |
| Properties of Plain, Pure, and Safe Petri Nets | 2021-06-14 | Paper |
| Target-oriented Petri Net Synthesis | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216152 | 2020-02-14 | Paper |
| From event-oriented models to transition systems | 2019-12-18 | Paper |
| Simultaneous Petri Net Synthesis | 2019-02-08 | Paper |
| Solving recursive net equations | 2019-01-10 | Paper |
| Sufficient conditions for the marked graph realisability of labelled transition systems | 2018-11-23 | Paper |
| Bounded choice-free Petri net synthesis: algorithmic issues | 2018-10-09 | Paper |
| Plain, bounded, reversible, persistent, and \(k\)-marked Petri nets have marked graph reachability graphs | 2018-03-26 | Paper |
| True Concurrent Equivalences in Time Petri Nets* | 2017-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5357699 | 2017-09-12 | Paper |
| Conditions for Petri Net Solvable Binary Words | 2017-06-20 | Paper |
| A Graph-Theoretical Characterisation of State Separation | 2017-04-04 | Paper |
| Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict | 2017-04-04 | Paper |
| Characterisation of the state spaces of marked graph Petri nets | 2017-03-16 | Paper |
| Characterising Petri Net Solvable Binary Words | 2016-10-04 | Paper |
| The Power of Prime Cycles | 2016-10-04 | Paper |
| Relational semantics revisited | 2016-06-03 | Paper |
| Synthesis of live and bounded persistent systems | 2016-05-02 | Paper |
| Existence of home states in Petri nets is decidable | 2016-04-06 | Paper |
| Petri Net Distributability | 2015-12-07 | Paper |
| State space axioms for T-systems | 2015-04-16 | Paper |
| Synthesis and reengineering of persistent systems | 2015-03-02 | Paper |
| Synthesis of Persistent Systems | 2014-07-08 | Paper |
| Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets | 2014-03-31 | Paper |
| Structure Theory of Petri Nets | 2013-05-31 | Paper |
| Unifying Equivalences for Higher Dimensional Automata | 2012-10-29 | Paper |
| Deciding Selective Declassification of Petri Nets | 2012-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3225713 | 2012-03-22 | Paper |
| A Categorical View of Timed Behaviours | 2011-06-14 | Paper |
| Separability in Persistent Petri Nets | 2010-06-22 | Paper |
| Separability in Conflict-Free Petri Nets | 2010-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190772 | 2009-07-27 | Paper |
| A decomposition theorem for finite persistent transition systems | 2009-05-08 | Paper |
| Decomposition Theorems for Bounded Persistent Petri Nets | 2008-07-03 | Paper |
| A Note on Persistent Petri Nets | 2008-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504339 | 2008-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431913 | 2008-01-02 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436360 | 2003-12-04 | Paper |
| The box algebra = Petri nets + process expressions | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766552 | 2002-06-17 | Paper |
| A unified model for nets and process algebras | 2001-12-18 | Paper |
| Recursion and Petri nets | 2001-12-13 | Paper |
| Petri net algebra | 2000-08-07 | Paper |
| M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages | 1999-06-13 | Paper |
| Operational and denotational semantics for the box algebra | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222782 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353641 | 1998-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4331844 | 1997-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4323307 | 1995-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281515 | 1994-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202931 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040147 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035687 | 1993-05-18 | Paper |
| Compositional generation of home states in free choice nets | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3993479 | 1993-01-23 | Paper |
| Traps characterize home states in free choice systems | 1992-09-27 | Paper |
| Petri net semantics of priority systems | 1992-09-26 | Paper |
| Concurrent bisimulations in Petri nets | 1991-01-01 | Paper |
| Partial order behaviour and structure of Petri nets | 1990-01-01 | Paper |
| Semantic independence | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814822 | 1988-01-01 | Paper |
| Sequential and concurrent behaviour in Petri net theory | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3771633 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773359 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030242 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783589 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3683545 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686019 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680254 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740249 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740248 | 1985-01-01 | Paper |
| Fairness and conspiracies | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3339295 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3313266 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657408 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3959436 | 1982-01-01 | Paper |
| Adequacy properties of path programs | 1982-01-01 | Paper |
| A formal model of atomicity in asynchronous systems | 1981-01-01 | Paper |
| Systematic detection of exception occurrences | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896497 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3899505 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893325 | 1980-01-01 | Paper |
| A note on the proof of a concurrent program | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4167546 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4086710 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4082297 | 1975-01-01 | Paper |
