A brief survey and synthesis of the roles of time in Petri nets.
scientific article; zbMATH DE number 1737773