The following pages link to Yannick Pencolé (Q513187):
Displayed 6 items.
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
- Failure detection and localization for timed event graphs in \((\max,+)\)-algebra (Q2063096) (← links)
- A state class construction for computing the intersection of time Petri nets languages (Q2176699) (← links)
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks (Q2457674) (← links)
- A Decentralised Symbolic Diagnosis Approach (Q2999114) (← links)
- (Q4929341) (← links)