Title :
From basic to timed net models of Occam: an application to program placement
Author :
Botti, Oliver ; De Cindio, Fiorella
Author_Institution :
Dipartimento di Sci. dell´´Inf., Milano Univ., Italy
Abstract :
Starting from the Petri net model of Occam which uses 1-safe PT nets, the paper develops, on the top of it, a timed net model, using Generalized Stochastic Petri Nets (GSPN), to allow a performance analysis of Occam programs. As an example, the authors carry out the comparison of different placements of an Occam program over a given set of distributed processors
Keywords :
Occam; Petri nets; performance evaluation; program testing; 1-safe PT nets; GSPN; Generalized Stochastic Petri Nets; Occam; Occam programs; Petri net model; performance analysis; timed net model; Communication system control; Computer languages; Inhibitors; Performance analysis; Petri nets; Stochastic processes;
Conference_Titel :
Petri Nets and Performance Models, 1991. PNPM91., Proceedings of the Fourth International Workshop on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-8186-2285-7
DOI :
10.1109/PNPM.1991.238798
