Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
No abstract available.
DOI 10.1007/3-540-45319-9_30
Related papers
- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets TACAS 2009
- Combining Finite Automata, Parallel Programs and SDL Using Petri Nets TACAS 1998
- Token Elimination in Model Checking of Petri Nets TACAS 2025
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- Fast Termination and Workflow Nets CAV 2023