Publisher
Springer Nature Switzerland
Reference46 articles.
1. Amat, N.: Octant (version 1.0): projection of Petri net reachability properties (2023). https://github.com/nicolasAmat/Octant
2. Lecture Notes in Computer Science;N Amat,2021
3. Amat, N., Berthomieu, B., Dal Zilio, S.: A polyhedral abstraction for Petri Nets and its application to SMT-based model checking. Fundamenta Informaticae 187(2–4) (2022). https://doi.org/10.3233/FI-222134
4. Lecture Notes in Computer Science;N Amat,2021
5. Amat, N., Dal Zilio, S., Le Botlan, D.: Leveraging polyhedral reductions for solving Petri net reachability problems. Int. J. Softw. Tools Technol. Transf. 25 (2022). https://doi.org/10.1007/s10009-022-00694-8