@article {258,
	title = {Models and Logs used in the paper {\textquoteleft}Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning{\textquoteright} accepted for ICAPS 2018},
	year = {2018},
	publisher = {TU Eindhoven},
	keywords = {Computation Theory and Mathematics, Event Logs, Petri nets},
	doi = {10.4121/UUID:A02AFEC8-B7C7-42B7-8DFF-36D3DE3032BE},
	url = {https://data.4tu.nl/repository/uuid:a02afec8-b7c7-42b7-8dff-36d3de3032be},
	author = {Giacomo Lanciano and Massimiliano de Leoni}
}
