In: Proc. 29th Annual Hawaii Int. Conf. on System Sciences; Vol. 1: Software Technology and Architecture, 3-6 January 1996, Wailea, HI, pages 433-441. 1996.
Abstract: This paper shows how structural properties of some classes of timed Petri nets can be used to derive efficient algorithms to compute important quantities such as total number of firings, average number of tokens in places, or stability conditions.
Keywords: fixed points, fluid models, parallel simulation, structural properties, timed petri nets.