Stochastic labeled Petri nets used for evaluation in the paper "Applying Statistical Distances for Stochastic

University of Melbourne data repository 2026 Dataset Open access

Read full text
Authors: T. Li
DOI: 10.26188/31301776
Cited by: 0

Abstract

Stochastic labeled Petri nets used for evaluation in the paper "Applying Statistical Distances for Stochastic Conformance Checking"

Fields of Study & Subjects

Petri Nets in System Modeling Business Process Modeling and Analysis Formal Methods in Verification

Publication details

Journal / source
University of Melbourne data repository
Publication date
1 January 2026
Document type
Dataset