In: PNPM89. Proceedings of the Third International Workshop On Petri Nets and Performance Models, 1989, Kyoto, Japan, pages 180-186. Los Alamitos, CA, USA: IEEE Computer Society Press, 1990.
Abstract: Unbounded timed Petri nets are place-unbounded free-choice place/transition nets with exponentially distributed firing times associated with the transitions. In such nets the infinite state space is generated by a finite set of linear equations. The regularity of this linear description can be used for a ``projection'' of the infinite state space into an equivalent finite representation that can be described by a finite set of nonlinear equilibrium equations. Unbounded nets can eliminate the ``state explosion'' problem of some models by using unbounded but simple approximations to bounded but complex models.
Keywords: performance evaluation; unbounded timed net; free-choice place/transition net.