DocumentCode
3322900
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
fYear
1991
fDate
2-5 Dec 1991
Firstpage
216
Lastpage
221
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/PNPM.1991.238798
Filename
238798
Link To Document