For the most recent entries see the Petri Nets Newsletter.

Validation of GSPN and SWN Models through the PROD Tool.

Donatelli, Susanna; Ferro, Liliana

In: T. Field, P.G. Harrison, J. Bradley, U. Harder (Eds.): Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002, pages 1-131pp. Springer Verlag, LNCS 2324, April 2002.

Abstract: This paper presents an extension of the GreatSPN tool for Generalized stochastic Petri nets (GSPN) and Stochastic well-formed nets (SWN) solution that allows a check of state space properties: the extension is based on a translation of GSPN and SWN nets in GreatSPN format into high level Petri nets that are a valid input to the validation tool PROD and on a definition of a number of "analysis" macros that can be used by non-PROD experts to validate the model.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography