Diagnosability
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.