Determinization of timed Petri nets behaviors

International audience

Supervisory control of (max,+) automata: extensions towards applications

International audience