| Publication | Date of Publication | Type |
|---|
Regular marked Petri nets
Graph-Theoretic Concepts in Computer Science | 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
Fundamenta Informaticae | 2021-05-20 | Paper |
Negotiation as concurrency primitive
Acta Informatica | 2019-03-14 | Paper |
Negotiations and Petri nets
Transactions on Petri Nets and Other Models of Concurrency XI | 2017-06-20 | Paper |
Negotiation programs
Application and Theory of Petri Nets and Concurrency | 2015-08-27 | Paper |
Observable liveness of Petri nets
Acta Informatica | 2015-04-16 | Paper |
On negotiation as concurrency primitive. II: Deterministic cyclic negotiations
Lecture Notes in Computer Science | 2014-04-16 | Paper |
On negotiation as concurrency primitive
Lecture Notes in Computer Science | 2013-08-12 | Paper |
Models from scenarios
Transactions on Petri Nets and Other Models of Concurrency VII | 2013-05-31 | Paper |
Unifying Petri nets with restricted occurrence rule using partial algebra
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Aggregating causal runs into workflow nets
Transactions on Petri Nets and Other Models of Concurrency VI | 2013-03-13 | Paper |
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri Nets and Other Models of Concurrency IV | 2011-01-08 | Paper |
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Fundamenta Informaticae | 2010-02-05 | Paper |
Comparison of different algorithms to synthesize a Petri net from a partial language
Transactions on Petri Nets and Other Models of Concurrency III | 2009-12-09 | Paper |
| scientific article; zbMATH DE number 5587264 (Why is no real title available?) | 2009-07-27 | Paper |
Unifying Petri Net Semantics with Token Flows
Applications and Theory of Petri Nets | 2009-06-30 | Paper |
Construction of Process Models from Example Runs
Transactions on Petri Nets and Other Models of Concurrency II | 2009-04-24 | Paper |
Executability of scenarios in Petri nets
Theoretical Computer Science | 2009-03-25 | Paper |
| Synthesis of Petri nets from finite partial languages | 2009-02-12 | Paper |
| scientific article; zbMATH DE number 5499378 (Why is no real title available?) | 2009-01-28 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science | 2005-12-14 | Paper |
| scientific article; zbMATH DE number 2088652 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2077134 (Why is no real title available?) | 2004-07-01 | Paper |
| scientific article; zbMATH DE number 1973117 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1973122 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1696454 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1302043 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1302045 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1216193 (Why is no real title available?) | 1998-10-29 | Paper |
Proving nonreachability by modulo-invariants
Theoretical Computer Science | 1997-02-28 | Paper |
A simplified proof for a self-stabilizing protocol: A Game of Cards
Information Processing Letters | 1997-02-28 | Paper |
| Free Choice Petri Nets | 1995-11-23 | Paper |
The synthesis problem of Petri nets
Acta Informatica | 1995-11-19 | Paper |
Shortest paths in reachability graphs
Journal of Computer and System Sciences | 1995-10-25 | Paper |
| scientific article; zbMATH DE number 512821 (Why is no real title available?) | 1994-11-13 | Paper |
Reachability in cyclic extended free-choice systems
Theoretical Computer Science | 1993-10-25 | Paper |
| scientific article; zbMATH DE number 176520 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176521 (Why is no real title available?) | 1993-05-18 | Paper |
Compositional generation of home states in free choice nets
Formal Aspects of Computing | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 107897 (Why is no real title available?) | 1993-01-23 | Paper |
Traps characterize home states in free choice systems
Theoretical Computer Science | 1992-09-27 | Paper |
Partial order behaviour and structure of Petri nets
Formal Aspects of Computing | 1990-01-01 | Paper |
