Susanna Donatelli, Liliana Ferro. Validation of GSPN and SWN Models through the PROD Tool. In Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder, editors, Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings. Volume 2324 of Lecture Notes in Computer Science, pages 131-140, Springer, 2002. [doi]
Abstract is missing.