Verification of workflow nets

• Leveraging Meta-Properties of Petri Net Classes to Efficiently Enforce Formal Guarantees in Bottom-Up Process Discovery

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

  0

  citations
• Coming Home for Blocking Transitions Fast

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

  0

  citations
• Complexity of Alignments on Sound Free-Choice Workflow Nets

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

  6

  citations
• $$\text {eST}^2$$ Miner - Process Discovery Based on Firing Partial Orders

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

  3

  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
• Model-Driven Engineering of Process-Aware Information Systems

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

  17

  citations

6 results