In: LNCS 1786: Computer Performance Evaluation, Modelling Techniques and Tools, pages 354-pp. 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 2000. Proceedings / Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (Eds.) --- Springer Verlag, 2000.
Abstract: The Stochastic Petri Net Package (SPNP) [2] is a versatile modeling tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described in the input language for SPNP called CSPL (C-based SPN Language) which is an extension of the C programming language [8] with additional constructs which facilitate easy description of SPN models. Moreover, if the user does not want to describe his model in CSPL, a Graphical User Interface (GUI) is available to specify all the characteristics as well as the parameters of the solution method chosen to solve the model.