Benchmark Instances for Reachability and Coverability in Petri Nets
收藏数据链接：
官方服务：
资源简介：
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.
创建时间：
2021-03-05
