Symbolic and Structural Model-Checking

DOI10.3233/FI-2021-2090MaRDI QIDQ5025068

Yann Thierry-Mieg

Publication date: 1 February 2022

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.12911

zbMATH Keywords

Petri netsmodel-checkingSMT constraintsstructural reduction

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking

Uses Software

• z3
• APT
• ITS-Tools

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Structural Reductions Revisited
• Automated Technology for Verification and Analysis
• Applying CEGAR to the Petri Net State Equation

This page was built for publication: Symbolic and Structural Model-Checking