Published March 27, 2022
| Version v5
Dataset
Open
Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Creators
- 1. Aalborg University
Description
This is the artefact for the paper "Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games".
The files in this package aim to assist you in running Kaki and generating the results presented in the paper. The details on running Kaki, generating the problems and reproducing the results can be read in the README.md file.
Files
reproducibility_package.zip
Files
(84.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:79f46c394ac7187a8196ef7d3bd9190e
|
84.3 MB | Preview Download |
Additional details
Related works
- References
- Dataset: 10.5281/zenodo.4501982 (DOI)