Time Petri Nets
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)
Verification
Time Petri Nets
Use Case
Fiacre
Tina
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun
In ECRTS 2023 — 35th Euromicro Conference on Real-Time Systems, jul 2023.
In ECRTS 2023 — 35th Euromicro Conference on Real-Time Systems, jul 2023.
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
Verification
Time Petri Nets
Use Case
Tina
Fiacre
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun
Dagstuhl Artifacts Series (DARTS) 9(1), jul 2023.
Dagstuhl Artifacts Series (DARTS) 9(1), jul 2023.
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.
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.
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
Verification
Tools
Time Petri Nets
Twina
Diagnosability
Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
In FORMATS 2019 — 17th International Conference on Formal Modeling and Analysis of Timed Systems, aug 2019.
In FORMATS 2019 — 17th International Conference on Formal Modeling and Analysis of Timed Systems, aug 2019.
Formal Verification of User-Level Real-Time Property Patterns
Verification
Time Petri Nets
Patterns
Ning Ge, Marc Pantel, Silvano Dal Zilio
In TASE 2017 — 11th International Symposium on Theoretical Aspects of Software Engineering, sep 2017.
In TASE 2017 — 11th International Symposium on Theoretical Aspects of Software Engineering, sep 2017.
Symmetry reduction for time Petri net state classes
Verification
Time Petri Nets
Tina
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat
Science of Computer Programming 132(2):209—225, aug 2016.
Science of Computer Programming 132(2):209—225, aug 2016.
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
Verification
Time Petri Nets
Tina
Patterns
Silvano Dal Zilio, Bernard Berthomieu
In TTCS 2015 — 1st IFIP International Conference on Topics in Theoretical Computer Science, aug 2015.
In TTCS 2015 — 1st IFIP International Conference on Topics in Theoretical Computer Science, aug 2015.
Symmetry reduced state classes for time petri nets
Verification
Time Petri Nets
Tina
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat
In SAC 2015 — 30th Annual ACM Symposium on Applied Computing, apr 2015.
In SAC 2015 — 30th Annual ACM Symposium on Applied Computing, apr 2015.