Soundness of workflow nets: classification, decidability, and analysis

• Locally optimized inductive process discovery

  2026 Process Science article Business, Management and Accounting Business Process Modeling and Analysis Open access

  0

  citations
• Object-centric process management: A research manifesto

  2026 Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

  5

  citations
• A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments

  2025 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  2

  citations
• Deciding (Sub-Marking) Reachability in $$\pmb {O(P^2 + T^2)}$$ for Sound Acyclic Free-Choice Workflow Nets

  2025 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling

  1

  citations
• On Process Discovery Experimentation: Addressing the Need for Research Methodology in Process Discovery

  2024 ACM Transactions on Software Engineering and Methodology article Business, Management and Accounting Business Process Modeling and Analysis Open access

  10

  citations
• Process Mining of Mining Processes: Analyzing Longwall Coal Excavation Using Event Data

  2024 IEEE Transactions on Systems Man and Cybernetics Systems article Business, Management and Accounting Business Process Modeling and Analysis

  18

  citations
• Learning Colored Petri Nets Using Object-Centric Event Data (OCED2CPN)

  2023 IEEE Congress on Information Science and Technology (CiSt) conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  2

  citations
• Model-Driven Engineering of Process-Aware Information Systems

  2022 SN Computer Science article Computer Science Model-Driven Software Engineering Techniques Open access

  17

  citations
• Utilizing domain knowledge in data-driven process discovery: A literature review

  2022 Computers in Industry article Business, Management and Accounting Business Process Modeling and Analysis Open access

  65

  citations
• Foundations of Process Discovery

  2022 Lecture notes in business information processing book-chapter Business, Management and Accounting Business Process Modeling and Analysis Open access

  53

  citations
• Conformance Checking for Trace Fragments Using Infix and Postfix Alignments

  2022 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

  5

  citations
• Using Free-Choice Nets for Process Mining and Business Process Management

  2021 Annals of Computer Science and Information Systems conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

  8

  citations
• Free-choice Nets with Home Clusters are Lucent

  2021 Fundamenta Informaticae article Computer Science Petri Nets in System Modeling Open access

  8

  citations
• Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets

  2021 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling Open access

  1

  citations

14 results