Structural Reductions Revisited

DOI10.1007/978-3-030-51831-8_15zbMath1503.68196OpenAlexW3029089855MaRDI QIDQ5100759

Yann Thierry-Mieg

Publication date: 1 September 2022

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51831-8_15

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Accelerating the computation of dead and concurrent places using reductions ⋮ LTL under reductions with weaker conditions than stutter invariance ⋮ Symbolic and Structural Model-Checking ⋮ On the combination of polyhedral abstraction and SMT-based model checking for Petri nets ⋮ Discovering stochastic process models by reduction and abstraction

Uses Software

• z3
• APT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• APT
• Stubborn versus structural reductions for Petri nets
• A survey of siphons in Petri nets
• Simplification of CTL formulae for efficient model checking of Petri nets
• Reduction
• State equation, controllability, and maximal matchings of petri nets
• Automated Technology for Verification and Analysis
• Applying CEGAR to the Petri Net State Equation

This page was built for publication: Structural Reductions Revisited