A New Product Construction for the Diagnosability of Patterns in Time Petri Net
Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias In CDC 2020 — 59th IEEE Conference on Decision and Control, dec 2020.
Twina
A Short Overview on Diagnosability of Patterns in Timed Petri Net
Éric Lubat, Silvano Dal Zilio 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
É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.