In: Beilner, H.; Bause, F.: Lecture Notes in Computer Science, Vol. 977: Quantitative Evaluation of Computing and Communication Systems, pages 209-223. Springer-Verlag, 1995.
Abstract: This paper describes the transient analysis component for deterministic and stochastic Petri nets which has recently been added to the software package TimeNET. The technique is based on the derivation of state equations by the method of supplementary variables. The system of equations consists of partial and ordinary differential equations which are combined with initial and boundary conditions. Algorithms for the numerical analysis of the equations are presented. Emphasis is put on implementation aspects. Different cases are identified for which different variants of the algorithms can be used. The computational complexity is investigated by asymptotical expressions and measurements. Several examples are used in order to illustrate the modeling process and transient analysis with TimeNET.