In: Proc. 4th Int. Workshop on Petri Nets and Performance Models (PNPM'91), Melbourne, Australia, pages 216-221. IEEE Comp. Soc. Press, December 1991.
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, we carry out the comparison of different placements of an Occam program over a given set of distributed processors.