Branching Processes of High-Level Petri Nets
Abstract elided by the publisher.
Related papers
- Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings CAV 2004
- State Class Constructions for Branching Analysis of Time Petri Nets TACAS 2003
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- Petri Net-Based Object-Oriented Modeling of Distributed Systems OOPSLA 1986
- A Description of Path Expressions by Petri Nets POPL 1975
- Implicative Formulae in the "Proofs as Computations" Analogy POPL 1990
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability VMCAI 2024