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.