The following pages link to Marc Boyer (Q2842568):
Displayed 6 items.
- Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency) (Q2842569) (← links)
- (Q3601860) (← links)
- Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets (Q3612926) (← links)
- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets (Q3613087) (← links)
- Towards Certifying Network Calculus (Q5327371) (← links)
- (Q6099657) (← links)