In: Puigjaner, R.; et al.: Modeling Techniques and Tools for Computer Performance Evaluation. Proceedings of the Fourth International Conference, 1988, Palma, Spain, pages 11-24. New York, NY, USA: Plenum, 1989.
Abstract: The performance of stochastic Petri net models can be estimated either by Monte-Carlo simulation or by construction and evaluation of Markov chains. It is claimed that an approach based on ad-hoc techniques is needed to improve the efficiency and to allow the solution of problems of realistic size. A set of compiling techniques is presented to produce Petri net analysis or simulation programs tailored on the specific characteristics of individual models. The proposed approach improves the performance of currently used packages of up to one order of magnitude in both space and time efficiency of reachability algorithms and in time efficiency of event-driven simulation of Petri nets.
Keywords: (analysis of) stochastic net(s); GreatSPN package; Monte-Carlo simulation; Markov chain; performance (of) reachability algorithms.