OpenAlex
Combining free choice and time in Petri nets
Work