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)  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  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.
Back to the Petri Nets Bibliography