Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets
No abstract available.
Related papers
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- Property Directed Reachability for Generalized Petri Nets TACAS 2022
- Directed Reachability for Infinite-State Systems TACAS 2021
- KReach: A Tool for Reachability in Petri Nets TACAS 2020
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021
- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability VMCAI 2024
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations CAV 2022