Work

A Generalized Timed Petri Net Model for Performance Analysis