Structural reductions revisited

DOI10.1007/978-3-030-51831-8_15MaRDI QIDQ5100759zbMATH OpenOpenAlexFDO

Authors Yann Thierry-Mieg

Publication date 1 September 2022

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

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• Stubborn versus structural reductions for Petri nets
• How Petri net theory serves Petri net model checking: a survey
• scientific article; zbMATH DE number 1852166
• Decompositional Petri Net Reductions
• Reduction and synthesis of live and bounded free choice Petri nets

Cites work

• A survey of siphons in Petri nets
• Analysis of Petri nets and transition systems
• Applying CEGAR to the Petri net state equation
• APT
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 3980500 (Why is no real title available?)
• Reduction
• Simplification of CTL formulae for efficient model checking of Petri nets
• State equation, controllability, and maximal matchings of petri nets
• Stubborn versus structural reductions for Petri nets

Cited in

(12)

• Struction revisited
• Stubborn versus structural reductions for Petri nets
• How Petri net theory serves Petri net model checking: a survey
• On the combination of polyhedral abstraction and SMT-based model checking for Petri nets
• Discovering stochastic process models by reduction and abstraction
• LTL under reductions with weaker conditions than stutter invariance
• The Reduceron reconfigured and re-evaluated
• scientific article; zbMATH DE number 1222831 (Why is no real title available?)
• Symbolic and structural model-checking
• Property directed reachability for generalized Petri nets
• Structural reductions and stutter sensitive properties
• Accelerating the computation of dead and concurrent places using reductions

Describes a project that uses

Uses Software

• z3
• APT

This page was built for publication: Structural reductions revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100759)