| Publication | Date of Publication | Type |
|---|
| Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data | 2024-03-14 | Paper |
| Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns | 2024-02-08 | Paper |
| Finding Complex Process-Structures by Exploiting the Token-Game | 2024-01-29 | Paper |
| Discovering directly-follows complete Petri nets from event data | 2023-07-26 | Paper |
| Verification of workflow nets | 2022-12-09 | Paper |
| Life-cycle inheritance | 2022-12-09 | Paper |
| Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior | 2022-08-19 | Paper |
| From place nets to local process models | 2022-08-19 | Paper |
| Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins | 2022-03-31 | Paper |
| Reduction using induced subnets to systematically prove properties for free-choice nets | 2022-03-21 | Paper |
| Inferring Unobserved Events in Systems with Shared Resources and Queues | 2022-02-01 | Paper |
| Free-choice Nets with Home Clusters are Lucent | 2021-10-25 | Paper |
| The impact of biased sampling of event logs on the performance of process discovery | 2021-06-07 | Paper |
| Discovering the ``glue connecting activities. Exploiting monotonicity to learn places faster | 2021-06-03 | Paper |
| Discovering Object-centric Petri Nets | 2021-05-20 | Paper |
| Lucent Process Models and Translucent Event Logs | 2020-01-24 | Paper |
| Markings in perpetual free-choice nets are fully characterized by their enabled transitions | 2019-12-18 | Paper |
| Discovering workflow nets using integer linear programming | 2018-06-13 | Paper |
| The imprecisions of precision measures in process mining | 2018-04-05 | Paper |
| Revising history for cost-informed process improvement | 2016-11-10 | Paper |
| Balanced multi-perspective checking of process conformance | 2016-04-20 | Paper |
| Process Discovery Using Localized Events | 2015-08-27 | Paper |
| Process Model Discovery: A Method Based on Transition System Decomposition | 2014-07-08 | Paper |
| Discovering Block-Structured Process Models from Incomplete Event Logs | 2014-07-08 | Paper |
| Process Discovery and Conformance Checking Using Passages | 2014-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849568 | 2013-09-20 | Paper |
| Hierarchical Conformance Checking of Process Models Based on Event Logs | 2013-06-28 | Paper |
| Discovering Block-Structured Process Models from Event Logs - A Constructive Approach | 2013-06-28 | Paper |
| Strategies for Modeling Complex Processes Using Colored Petri Nets | 2013-05-31 | Paper |
| Discovering Petri Nets from Event Logs | 2013-05-31 | Paper |
| Passages in Graphs | 2013-04-03 | Paper |
| Aggregating Causal Runs into Workflow Nets | 2013-03-13 | Paper |
| Decomposing Process Mining Problems Using Passages | 2012-09-04 | Paper |
| Causal Nets: A Modeling Language Tailored towards Process Discovery | 2011-09-02 | Paper |
| Soundness of workflow nets: classification, decidability, and analysis | 2011-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5392873 | 2011-04-15 | Paper |
| Inheritance of Business Processes: A Journey Visiting Four Notorious Problems | 2011-04-08 | Paper |
| Process Mining | 2011-03-16 | Paper |
| Preserving correctness during business process model configuration | 2010-05-28 | Paper |
| Reduction rules for reset/inhibitor nets | 2010-02-12 | Paper |
| History-Dependent Stochastic Petri Nets | 2010-02-02 | Paper |
| Soundness of Workflow Nets with Reset Arcs | 2009-12-09 | Paper |
| Compositional Service Trees | 2009-06-30 | Paper |
| Soundness-preserving reduction rules for reset workflow nets | 2009-03-24 | Paper |
| History-Dependent Petri Nets | 2009-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601867 | 2009-02-12 | Paper |
| Discovery, Verification and Conformance of Workflows with Cancellation | 2008-11-20 | Paper |
| Formal semantics and analysis of control flow in WS-BPEL | 2007-07-23 | 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 |
| Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
| Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4815321 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045248 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045489 | 2004-08-12 | Paper |
| Fundamentals of control flow in workflows | 2004-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953845 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428396 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412156 | 2003-07-14 | Paper |
| Inheritance of interorganizational workflows to enable business-to-business E-commerce | 2003-03-11 | 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 |
| https://portal.mardi4nfdi.de/entity/Q2766587 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535171 | 2002-06-13 | Paper |
| Inheritance of workflows: An approach to tackling problems related to change | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2772440 | 2002-02-19 | Paper |
| Diagnosing Workflow Processes using Woflan | 2002-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2761735 | 2002-01-07 | Paper |
| Inheritance of behavior | 2001-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952938 | 2000-11-13 | Paper |
| Verification of workflow task structures: A Petri-net-based approach | 2000-06-05 | Paper |
| Petri net based scheduling | 1997-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4000457 | 1993-01-23 | Paper |
