In: Microelectronics and Reliability, Vol. 31, No. 4, pages 627-644. 1991.
Abstract: In timed Petri nets, the transitions fire in `real-time', i.e., there is a firing time associated with each transition, the tokens are removed from input places at the beginning of firing, and are deposited into output places when the firing terminates. Any `state' description of timed nets must thus take into account the distribution of tokens in places as well as in transitions. Performance analysis of timed nets is based on stationary probabilities of states. For bounded nets stationary probabilities are determined from a finite set of simultaneous linear equilibrium equations. For unbounded nets the state space is infinite, the set of linear equilibrium equations is also infinite and it must be reduced to a finite set of nonlinear equations for effective solution.
Keywords: timed net theory; firing time; token distribution; stationary probability; linear equilibrium equation; bounded net; unbounded net.