In: Transputer Communications, pages 41-49. 1995.
Abstract: EPOCA is a CASE system designed to support the introduction of Petri net based verification and performance evaluation techniques into the development phase of parallel programs. The system allows the automated construction and analysis of Generalised Stochastic Petri Net (GSPN) models of CSP-like programs. EPOCA results from the integration of the DISC parallel programming system with the GreatSPN tool for the editing and the analysis of GSPNs. In this paper, we give an overview of the current status of the EPOCA project, and we show some qualitative and quantitative analysis steps supported by the EPOCA tools, on the basis of a client-server application case study.