Modeling concurrency with partial orders

• Automated Conformance Checking Between Process Models and Their Generalized Reference Process Models

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

  1

  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
• Relational Structures for Interval Order Semantics of Concurrent Systems

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

  2

  citations
• Conclusions

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

  0

  citations
• Relational structures for concurrent behaviours

  2020 Theoretical Computer Science article Computer Science Petri Nets in System Modeling Open access

  7

  citations
• Multilabeled Petri Nets

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

  1

  citations

6 results