Combining free choice and time in Petri nets