Éric Lubat

Latest

• A New Product Construction for the Diagnosability of Patterns in Time Petri Net
• A Short Overview on Diagnosability of Patterns in Timed Petri Net
• A State Class Construction for Computing the Intersection of Time Petri Nets Languages