cff-version: 1.2.0
abstract: "Generated set of 4,320 Petri net models, each is combined with a single log trace, and the models exhibit various Petri net characteristics.
The models were generated using PTandLogGenerator.
Used in the paper "Symbolically Aligning Observed and Modelled Behaviour" - ACSD'18"
authors:
  - family-names: Bloemen
    given-names: Vincent
    orcid: "https://orcid.org/0000-0002-6092-7807"
title: "Generated Petri Net Markup Language (PNML) models and log traces (in XES)"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/uuid:a6709ee4-2aa3-49a3-92db-247e8b5bf340
license: CC0
date-released: 2018-04-09