OpenAlex
Determinization of timed Petri nets behaviors
Work