@misc{indiciae2a3f70df4c00,
  title = {A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking},
  author = {Nicolas Amat and Bernard Berthomieu and Silvano Dal Zilio},
  year = {2022},
  doi = {10.3233/fi-222134},
  url = {https://arxiv.org/abs/2104.09850},
  note = {Source identifier: 2104.09850}
}