The Community for Technology Leaders
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)
Melbourne, Victoria, Australia
Dec. 2, 1991 to Dec. 5, 1991
ISBN: 0-8186-2285-7
pp: 216-221
O. Botti , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
F. De Cindio , 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.<>
INDEX TERMS
Occam, performance evaluation, Petri nets, program testing
CITATION

O. Botti and F. De Cindio, "From basic to timed net models of Occam: an application to program placement," Proceedings of the Fourth International Workshop on Petri Nets and Performance Models(PNPM), Melbourne, Victoria, Australia, , pp. 216-221.
doi:10.1109/PNPM.1991.238798
81 ms
(Ver 3.3 (11022016))