Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds | Publicación