The Library
KReach : a tool for reachability in petri nets
Tools
Dixon, Alex and Lazic, Ranko (2019) KReach : a tool for reachability in petri nets. In: TACAS 2020 : 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 25-30 Apr 2020. Published in: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. , 12078 pp. 405-412. ISBN 9783030451899. doi:10.1007/978-3-030-45190-5_22
|
PDF
WRAP-KReach-tool-reachability-petri-nets-Lazic-2020.pdf - Published Version - Requires a PDF viewer. Available under License Creative Commons Attribution 4.0. Download (408Kb) | Preview |
Official URL: https://doi.org/10.1007/978-3-030-45190-5_22
Abstract
We present KReach, a tool for deciding reachability in general Petri nets. The tool is a full implementation of Kosaraju’s original 1982 decision procedure for reachability in VASS. We believe this to be the first implementation of its kind. We include a comprehensive suite of libraries for development with Vector Addition Systems (with States) in the Haskell programming language. KReach serves as a practical tool, and acts as an effective teaching aid for the theory behind the algorithm. Preliminary tests suggest that there are some classes of Petri nets for which we can quickly show unreachability. In particular, using KReach for coverability problems, by reduction to reachability, is competitive even against state-of-the-art coverability checkers.
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||||
Library of Congress Subject Headings (LCSH): | Petri nets, Computer multitasking, Computer Communication Networks, Machine theory | ||||||
Series Name: | Lecture Notes in Computer Science | ||||||
Journal or Publication Title: | Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. | ||||||
Publisher: | Springer | ||||||
ISBN: | 9783030451899 | ||||||
Official Date: | 17 April 2019 | ||||||
Dates: |
|
||||||
Volume: | 12078 | ||||||
Page Range: | pp. 405-412 | ||||||
DOI: | 10.1007/978-3-030-45190-5_22 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Access rights to Published version: | Open Access (Creative Commons) | ||||||
Date of first compliant deposit: | 5 March 2020 | ||||||
Date of first compliant Open Access: | 5 March 2020 | ||||||
RIOXX Funder/Project Grant: |
|
||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | TACAS 2020 : 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Dublin, Ireland | ||||||
Date(s) of Event: | 25-30 Apr 2020 | ||||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year