Petri nets, event structures and domains, part I

• Computing Alignments for Partially-Ordered Traces Through Petri Net Unfoldings

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

  1

  citations
• Discovering partially ordered workflow models

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

  9

  citations
• Partial-order-based process mining: a survey and outlook

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

  40

  citations
• Conclusions

  2022 Studies in computational intelligence book-chapter Computer Science Mathematical Control Systems and Analysis

  0

  citations
• A Language-Based Causal Model for Safety

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  0

  citations
• Elementary Net Systems

  2022 Studies in computational intelligence book-chapter Computer Science Petri Nets in System Modeling

  0

  citations
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

  2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

  15

  citations
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

  2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

  12

  citations

8 results