W3190002971

• Coming Home for Blocking Transitions Fast

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

  0

  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
• Creating Translucent Event Logs to Improve Process Discovery

  2023 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access cited by 1 patent

  6

  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

4 results