| Publication | Date of Publication | Type |
|---|
Algebraic characterization of petri net pomset semantics
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
| Relabelling LTS for Petri net synthesis via solving separation problems | 2021-06-14 | Paper |
Target-oriented Petri net synthesis
Fundamenta Informaticae | 2021-05-20 | Paper |
| \(k\)-bounded Petri net synthesis from modal transition systems | 2020-05-27 | Paper |
Presynthesis of bounded choice-free or fork-attribution nets
Information and Computation | 2020-03-12 | Paper |
| A geometric characterisation of event/state separation | 2019-12-18 | Paper |
Simultaneous Petri Net Synthesis
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Sufficient conditions for the marked graph realisability of labelled transition systems
Theoretical Computer Science | 2018-11-23 | Paper |
| Plain, bounded, reversible, persistent, and \(k\)-marked Petri nets have marked graph reachability graphs | 2018-03-26 | Paper |
Characterising Petri net solvable binary words
Application and Theory of Petri Nets and Concurrency | 2016-10-04 | Paper |
Structure theory of Petri nets
Transactions on Petri Nets and Other Models of Concurrency VII | 2013-05-31 | Paper |
Applying CEGAR to the Petri net state equation
Logical Methods in Computer Science | 2012-10-22 | Paper |
Finding a witness path for non-liveness in free-choice nets
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
Applying CEGAR to the Petri net state equation
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
The downward-closure of Petri net languages
Automata, Languages and Programming | 2010-09-07 | Paper |
New algorithms for deciding the siphon-trap property
Applications and Theory of Petri Nets | 2010-06-22 | Paper |
Separability in Conflict-Free Petri Nets
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Entscheidbarkeit bei Petri Netzen
eXamen.press | 2008-08-28 | Paper |
| scientific article; zbMATH DE number 5286860 (Why is no real title available?) | 2008-06-11 | Paper |
Theoretical computer science. Petri nets.
Springer-Lehrbuch | 2008-05-22 | Paper |
Petri-Netze
eXamen.press | 2008-01-03 | Paper |
| Making Petri nets safe and free of internal transitions | 2008-01-02 | Paper |
Applications and Theory of Petri Nets 2004
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 |
| scientific article; zbMATH DE number 1696450 (Why is no real title available?) | 2002-06-17 | Paper |
A uniform approach to true-concurrency and interleaving semantics for Petri nets
Theoretical Computer Science | 1999-01-12 | Paper |
