1/1
2 files

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

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

Usage metrics

University of Twente

Licence

Exports