Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
Abstract elided by the publisher.
Related papers
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL CAV 2020
- Canonical Prefixes of Petri Net Unfoldings CAV 2002
- Unfoldings of Unbounded Petri Nets CAV 2000
- Parallelisation of the Petri Net Unfolding Algorithm TACAS 2002
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Verification of Concurrent Programs Using Petri Net Unfoldings VMCAI 2021
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021