Modelling with Generalized Stochastic Petri Nets

• Abstract-and-compare stochastic conformance checking

  2025 Process Science conference-abstract Business, Management and Accounting Business Process Modeling and Analysis Open access

  1

  citations
• Partially ordered stochastic conformance checking

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

  5

  citations
• Enjoy the silence: Analysis of stochastic Petri nets with silent transitions

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

  22

  citations
• Parameter synthesis for Markov models: covering the parameter space

  2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  20

  citations
• Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)

  2023 International Joint Conference on Artificial Intelligence conference-paper Computer Science Petri Nets in System Modeling Open access

  1

  citations
• Model Checking the Multi-Formalism Language FIGARO

  2021 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Formal Methods in Verification

  7

  citations
• Stochastic process mining: Earth movers’ stochastic conformance

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

  92

  citations
• PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data

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

  3

  citations
• Explaining Boolean-Logic Driven Markov Processes using GSPNs

  2020 European Dependable Computing Conference conference-paper Computer Science Petri Nets in System Modeling

  5

  citations
• Parameter synthesis in Markov models

  2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

  27

  citations
• A Compositional Semantics for Repairable BDMPs

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

  5

  citations

11 results