Yannick Pencolé

Latest

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