| Publication | Date of Publication | Type |
|---|
| Regular marked Petri nets | 2024-01-05 | Paper |
| Symbolic observation graph-based generation of test paths | 2023-12-12 | Paper |
| ILP\textsuperscript{2} Miner -- process discovery for partially ordered event logs using integer linear programming | 2023-11-16 | Paper |
| Stop-transitions of Petri nets | 2021-05-20 | Paper |
| Negotiation as concurrency primitive | 2019-03-14 | Paper |
| Negotiations and Petri nets | 2017-06-20 | Paper |
| Negotiation programs | 2015-08-27 | Paper |
| Observable liveness of Petri nets | 2015-04-16 | Paper |
| On negotiation as concurrency primitive. II: Deterministic cyclic negotiations | 2014-04-16 | Paper |
| On negotiation as concurrency primitive | 2013-08-12 | Paper |
| Models from scenarios | 2013-05-31 | Paper |
| Unifying Petri nets with restricted occurrence rule using partial algebra | 2013-05-24 | Paper |
| Aggregating causal runs into workflow nets | 2013-03-13 | Paper |
| Vicinity respecting homomorphisms for abstracting system requirements | 2011-01-08 | Paper |
| Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages | 2010-02-05 | Paper |
| Comparison of different algorithms to synthesize a Petri net from a partial language | 2009-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190772 | 2009-07-27 | Paper |
| Unifying Petri Net Semantics with Token Flows | 2009-06-30 | Paper |
| Construction of Process Models from Example Runs | 2009-04-24 | Paper |
| Executability of scenarios in Petri nets | 2009-03-25 | Paper |
| Synthesis of Petri nets from finite partial languages | 2009-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506396 | 2009-01-28 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Applications and Theory of Petri Nets 2004 | 2005-12-23 | Paper |
| Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045249 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470519 | 2004-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421715 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421723 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766559 | 2002-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247286 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247288 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215822 | 1998-10-29 | Paper |
| Proving nonreachability by modulo-invariants | 1997-02-28 | Paper |
| A simplified proof for a self-stabilizing protocol: A Game of Cards | 1997-02-28 | Paper |
| Free Choice Petri Nets | 1995-11-23 | Paper |
| The synthesis problem of Petri nets | 1995-11-19 | Paper |
| Shortest paths in reachability graphs | 1995-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281514 | 1994-11-13 | Paper |
| Reachability in cyclic extended free-choice systems | 1993-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035686 | 1993-05-18 | 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/Q4023470 | 1993-01-23 | Paper |
| Traps characterize home states in free choice systems | 1992-09-27 | Paper |
| Partial order behaviour and structure of Petri nets | 1990-01-01 | Paper |
