Bloemen, Vincent (2018): Generated Petri Net Markup Language (PNML) models and log traces (in XES). Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/uuid:a6709ee4-2aa3-49a3-92db-247e8b5bf340

Dataset

• Computation Theory and Mathematics

Alignments, Artificial event logs, Conformance Checking, Process Mining

CC0

RefWorks, BibTeX, Reference Manager, Endnote, DataCite, NLM, DC, CFF

by Vincent Bloemen

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

• 2018-04-09 first online, published, posted

University of Twente

media types: application/msword, application/zip, text/plain, text/xml

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools (FMT) research group