TY  - RPRT
TI  - A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking
AU  - Nicolas Amat
AU  - Bernard Berthomieu
AU  - Silvano Dal Zilio
PY  - 2022
DO  - 10.3233/fi-222134
UR  - https://arxiv.org/abs/2104.09850
ID  - 2104.09850
ER  -