Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting

• Modelling and Estimating Inter-Case Effects in Business Processes Stochastically

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

  0

  citations
• LTL-based conformance checking of fuzzy event logs

  2025 Process Science article Business, Management and Accounting Business Process Modeling and Analysis Open access

  5

  citations
• Alignment-based conformance checking for stochastic Petri nets

  2025 Künstliche Intell. article Business, Management and Accounting Business Process Modeling and Analysis

  2

  citations
• Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings

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

  0

  citations
• Wasserstein Weight Estimation for Stochastic Petri Nets

  2024 International Conference on Process Mining (ICPM) conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  10

  citations
• Stochastic Process Discovery: Can It Be Done Optimally?

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

  12

  citations
• Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications

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

  7

  citations
• Process mining with labelled stochastic nets

  2024 Queensland University of Technology dissertation Business, Management and Accounting Business Process Modeling and Analysis Open access

  0

  citations
• Data-Driven Project Planning: An Integrated Network Learning, Process Mining, and Constraint Relaxation Approach in Favor of Scheduling Recurring Projects

  2024 IEEE Transactions on Engineering Management article Business, Management and Accounting Big Data and Business Intelligence Open access

  2

  citations
• Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica

  2023 dissertation Business, Management and Accounting Business Process Modeling and Analysis Open access

  0

  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
• Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking

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

  19

  citations
• Optimizing the Solution Quality of Metaheuristics Through Process Mining Based on Selected Problems from Operations Research

  2023 Lecture notes in business information processing conference-paper Engineering Scheduling and Optimization Algorithms

  1

  citations

13 results

• Principles of Model Checking

  2008 article Computer Science Formal Methods in Verification

  4,870

  citations
• PRISM 4.0: Verification of Probabilistic Real-Time Systems

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

  2,396

  citations
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

  1984 ACM Transactions on Computer Systems article Computer Science Petri Nets in System Modeling

  1,355

  citations
• The ProM Framework: A New Era in Process Mining Tool Support

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

  929

  citations
• Generalized stochastic Petri nets: a definition at the net level and its implications

  1993 IEEE Transactions on Software Engineering article Computer Science Petri Nets in System Modeling

  250

  citations
• Place/transition Petri Nets

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

  221

  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
• Discovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs

  2014 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  82

  citations
• Earth Movers’ Stochastic Conformance Checking

  2019 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  73

  citations
• Stochastic Process Discovery by Weight Estimation

  2021 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

  45

  citations
• Stochastic-Aware Conformance Checking: An Entropy-Based Approach

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

  35

  citations
• Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

  2022 ACM Transactions on Software Engineering and Methodology article Computer Science Formal Methods in Verification Open access

  24

  citations
• W2125739093

  details pending

  0

  citations
• W3177560507

  details pending

  0

  citations
• W3208930226

  details pending

  0

  citations
• W1494502909

  details pending

  0

  citations
• W1827770152

  details pending

  0

  citations
• W2963312557

  details pending

  0

  citations
• W3083255824

  details pending

  0

  citations
• W3167223401

  details pending

  0

  citations

20 results