| Publication | Date of Publication | Type |
|---|
| When can we trust a third party? A soundness perspective | 2013-09-17 | Paper |
| The right timing: reflections on the modeling and analysis of time | 2013-06-28 | Paper |
| Business process modeling using Petri nets | 2013-05-31 | Paper |
| Refinement of synchronizable places with multi-workflow nets | 2013-04-18 | Paper |
| Designing weakly terminating ROS systems | 2012-09-04 | Paper |
| Refinement of synchronizable places with multi-workflow nets. Weak termination preserved! | 2011-06-29 | Paper |
| Soundness of workflow nets: classification, decidability, and analysis | 2011-05-30 | Paper |
| On-the-fly auditing of business processes | 2011-01-08 | Paper |
| Soundness and separability of workflow nets in the stepwise refinement approach | 2010-03-31 | Paper |
| Verifying generalized soundness of workflow nets | 2010-02-02 | Paper |
| History-dependent stochastic Petri nets | 2010-02-02 | Paper |
| Soundness of workflow nets with reset ARCS | 2009-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192932 | 2009-08-10 | Paper |
| Compositional Service Trees | 2009-06-30 | Paper |
| A Framework for Linking and Pricing No-Cure-No-Pay Services | 2009-04-24 | Paper |
| Nested Nets for Adaptive Systems | 2009-04-02 | Paper |
| History-Dependent Petri Nets | 2009-03-11 | Paper |
| Working with the past: integrating history in Petri nets | 2009-02-12 | Paper |
| Model Driven Testing Based on Test History | 2009-02-03 | Paper |
| Token history Petri nets | 2009-01-28 | Paper |
| Statistical Certification of Software Systems | 2008-03-18 | Paper |
| Checking properties of adaptive workflow nets | 2007-10-17 | Paper |
| Resource-constrained workflow nets | 2006-08-03 | Paper |
| Applications and Theory of Petri Nets 2004 | 2005-12-23 | Paper |
| Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
| Component-based software architectures: A framework based on inheritance of behavior | 2002-08-05 | Paper |
| Analysis of discrete‐time stochastic petri nets | 2002-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766585 | 2002-06-17 | Paper |
| A unifying approach to heuristic search | 1995-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4301180 | 1994-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976494 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203678 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787531 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960490 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170121 | 1978-01-01 | Paper |
| Markov Strategies in Dynamic Programming | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156275 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140074 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4196268 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125612 | 1976-01-01 | Paper |
