Timed Event Graphs: A Complete Study of Their Controlled Executions. - Chrétienne, Philippe (1985)