Verification
A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking
Verification
Petri
Reductions
Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio
Fundamenta Informaticae 187(2-4), oct 2022.
Fundamenta Informaticae 187(2-4), oct 2022.
Property Directed Reachability for Generalized Petri Nets
Verification
Tools
SMPT
Petri
Reductions
Nicolas Amat, Silvano Dal Zilio, Thomas Hujsa
In TACAS 2022 — International Conference on Tools and Algorithms for the Construction and Analysis of Systems, mar 2022.
In TACAS 2022 — International Conference on Tools and Algorithms for the Construction and Analysis of Systems, mar 2022.
Hippo: A formal-model execution engine to control and verify critical real-time systems
Verification
Tools
Robotics
Hippo
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin
Journal of Systems and Software 181, nov 2021.
Journal of Systems and Software 181, nov 2021.
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
Verification
Tools
SMPT
Reductions
Petri
Nicolas Amat, Silvano Dal Zilio, Bernard Berthomieu
In ICATPN 2021 — 42nd International Conference on Application and Theory of Petri Nets and Concurrency, jun 2021.
In ICATPN 2021 — 42nd International Conference on Application and Theory of Petri Nets and Concurrency, jun 2021.
Accelerating the Computation of Dead and Concurrent Places Using Reductions
Verification
Petri
Reductions
Tools
Kong
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
In SPIN 2021 — International Symposium on Model Checking Software, jun 2021.
In SPIN 2021 — International Symposium on Model Checking Software, jun 2021.
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus
Verification
Patterns
Time Petri Nets
Ning Ge, Silvano Dal Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang
Science of Computer Programming 206, apr 2021.
Science of Computer Programming 206, apr 2021.
A New Product Construction for the Diagnosability of Patterns in Time Petri Net
Verification
Twina
Time Petri Nets
Diagnosability
Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
In CDC 2020 — 59th IEEE Conference on Decision and Control, dec 2020.
In CDC 2020 — 59th IEEE Conference on Decision and Control, dec 2020.
MCC: a Tool for Unfolding Colored Petri Nets in PNML Format
Verification
Tools
Petri
Mcc
Silvano Dal Zilio
In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.
In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.
Checking marking reachability with the state equation in Petri net subclasses
Verification
Concurrency
Petri
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan
preprint, jun 2020.
preprint, jun 2020.
A Short Overview on Diagnosability of Patterns in Timed Petri Net
Verification
Time Petri Nets
Twina
Diagnosability
Éric Lubat, Silvano Dal Zilio
In MOVEP 2020 — 14th Summer School on Modelling and Verification of Parallel Processes, jun 2020.
In MOVEP 2020 — 14th Summer School on Modelling and Verification of Parallel Processes, jun 2020.