cff-version: 1.2.0
abstract: "Set for Conformance Checking (Model+Log)
- Artificially Created
- Model: Large Petri Nets (~320 transitions)
- Log: (almost) all non fitting logs"
authors:
  - family-names: Munoz-Gama
    given-names: Jorge
    orcid: "https://orcid.org/0000-0002-6908-3911"
title: "'Conformance Checking in the Large' (BPM 2013)"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/uuid:44c32783-15d0-4dbd-af8a-78b97be3de49
license: 4TU General Terms of Use
date-released: 2013-04-04