There is a newer version of the record available.

Published March 23, 2022 | Version v1
Dataset Restricted

Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

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

Restricted

The record is publicly accessible, but files are restricted. Log in to check if you have access.

Additional details

Related works

References
Dataset: 10.5281/zenodo.4501982 (DOI)