1/1
2 files

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

dataset
posted on 09.04.2018 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

History

Contributors

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

Publisher

University of Twente

Format

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

Licence

Exports

Logo branding

Licence

Exports