cff-version: 1.2.0
abstract: "Large synthetic logs and models for decomposed conformance checking:

Logs:
- 1000 cases per log
- 3 logs per model (perfectly fitting, missing noise, and swapping noise)

Models:
- Petri nets
- Ranges from 101 to 230 activities"
authors:
  - family-names: Lee
    given-names: Jonathan
    orcid: "https://orcid.org/0000-0002-3531-3520"
  - family-names: Verbeek
    given-names: H.M.W. (Eric)
    orcid: "https://orcid.org/0000-0002-1658-9679"
  - family-names: Munoz-Gama
    given-names: Jorge
    orcid: "https://orcid.org/0000-0002-6908-3911"
  - family-names: van der Aalst
    given-names: Wil
    orcid: "https://orcid.org/0000-0002-0955-6940"
  - family-names: SepĂșlveda
    given-names: M. (Marcos)
    orcid: "https://orcid.org/0000-0002-9467-7666"
title: "Recomposing Conformance (INS 2018)"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/uuid:14de57fd-e426-4ab3-9b51-c30d122d0cf9
license: CC0
date-released: 2018-07-20