For the most recent entries see the Petri Nets Newsletter.

Use of GSPNs for Concurrent Software Validation in EPOCA.

Donatelli, S.; Franceschinis, G.; Russo, S.; Ribaudo, M.

In: Information and Software Technology, pages 443-448. 1994.

Abstract: We discuss the main issues related to the use of the Generalized Stochastic Petri Nets (GSPN) formalism for computer supported concurrent software comprehension and validation. A GSPN-based approach is currently under investigation in the EPOCA Project, based on the integration of the DIStributed C development system with the GreatSPN tool for editing and analysis of GSPN models.

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

Back to the Petri Nets Bibliography