Generated Petri Net Markup Language (PNML) models and log traces (in XES)

Datacite citation style

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
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite

Dataset

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

History

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

Publisher

University of Twente

Format

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

Organizations

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

DATA

Files (2)