From Hardware Processes to asynchronous circuits via petri nets: An Application to Arbiter Design

International audience

Determinization of timed Petri nets behaviors

International audience