Benchmark Instances for Reachability and Coverability in Petri Nets
收藏DataCite Commons2021-03-05 更新2024-07-28 收录
下载链接：
https://figshare.com/articles/dataset/Benchmark_Instances_for_Reachability_and_Coverability_in_Petri_Nets/14152007/1
下载链接
链接失效反馈官方服务：
资源简介：
This data set contains a set of benchmark instances for Petri net reachability and coverability, which were used to evaluate the TACAS'21 submission "Directed Reachability for Infinite-State Systems" (preprint available online (https://arxiv.org/abs/2010.07912)).<br>This data set is published in order to allow authors of other tools for reachability in Petri nets to easily obtain a large set of benchmark instances, in particular including many reachability instances.<br>See the enclosed readme for additional details.<br>
提供机构：
figshare
创建时间：
2021-03-05
