A Generalized Timed Petri Net Model for Performance Analysis | IEEE Journals & Magazine | IEEE Xplore