Benchmark Instances for Reachability and Coverability in Petri Nets
收藏Mendeley Data2024-01-31 更新2024-06-30 收录
下载链接：
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)). 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. See the enclosed readme for additional details.
创建时间：
2024-01-31
