For the most recent entries see the Petri Nets Newsletter.

Software Architecture of the EPOCA Integrated Environment.

Donatelli, S.; Franceschinis, G.; Mazzocca, N.; Russo, S.

In: Proc. of the 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pages 335-352. 1994.

Abstract: We describe the software architecture of EPOCA (Environment for analysis and Performance evaluation Of Concurrent Applications), a tool for the analysis of concurrent programs. The analysis is based on a formal model of the application. The class of models chosen is that of stochastic Petri nets (in particular we adopt Generalized Stochastic Petri Nets - GSPN): starting from a concurrent program written in DISC (DIStributed C), an extension of C to include concurrent constructs of the CSP type, a GSPN model is automatically generated, and GSPN analysis tools can then be applied. EPOCA is built as an integration of the DISC environment (a graphical interface based environment that provides compiling, monitoring and profiling facilities for DISC programs) and GreatSPN (a graphical interface based environment for the definition and the analysis of GSPN).


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

Back to the Petri Nets Bibliography