| Publication | Date of Publication | Type |
|---|
| Exact and approximated log alignments for processes with inter-case dependencies | 2023-11-16 | Paper |
| Aligning event logs to resource-constrained \(\nu \)-Petri nets | 2022-08-19 | Paper |
The imprecisions of precision measures in process mining
Information Processing Letters | 2018-04-05 | Paper |
When can we trust a third party? A soundness perspective
Transactions on Petri Nets and Other Models of Concurrency VIII | 2013-09-17 | Paper |
The right timing: reflections on the modeling and analysis of time
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Business process modeling using Petri nets
Transactions on Petri Nets and Other Models of Concurrency VII | 2013-05-31 | Paper |
Refinement of synchronizable places with multi-workflow nets
Fundamenta Informaticae | 2013-04-18 | Paper |
Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
Soundness of workflow nets: classification, decidability, and analysis
Formal Aspects of Computing | 2011-05-30 | Paper |
Can I find a partner? Undecidability of partner existence for open nets
Information Processing Letters | 2010-06-09 | Paper |
Soundness and separability of workflow nets in the stepwise refinement approach
Applications and Theory of Petri Nets 2003 | 2010-03-31 | Paper |
Verifying generalized soundness of workflow nets
Perspectives of Systems Informatics | 2010-02-02 | Paper |
History-dependent stochastic Petri nets
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Perspectives of System Informatics
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Soundness of workflow nets with reset ARCS
Transactions on Petri Nets and Other Models of Concurrency III | 2009-12-09 | Paper |
| scientific article; zbMATH DE number 5593270 (Why is no real title available?) | 2009-08-10 | Paper |
Compositional Service Trees
Applications and Theory of Petri Nets | 2009-06-30 | Paper |
A Framework for Linking and Pricing No-Cure-No-Pay Services
Transactions on Petri Nets and Other Models of Concurrency II | 2009-04-24 | Paper |
Nested Nets for Adaptive Systems
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
History-Dependent Petri Nets
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Bug Hunting with False Negatives
Lecture Notes in Computer Science | 2009-03-06 | Paper |
| Working with the past: integrating history in Petri nets | 2009-02-12 | Paper |
| Token history Petri nets | 2009-01-28 | Paper |
| Checking properties of adaptive workflow nets | 2007-10-17 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-09-28 | Paper |
| Resource-constrained workflow nets | 2006-08-03 | 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 |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2090156 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086508 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084330 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1834574 (Why is no real title available?) | 2002-11-24 | Paper |
| scientific article; zbMATH DE number 1696467 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1728527 (Why is no real title available?) | 2002-04-15 | Paper |
| scientific article; zbMATH DE number 1629963 (Why is no real title available?) | 2001-11-06 | Paper |
