For the most recent entries see the Petri Nets Newsletter.

From Basic to Timed Net Models of Occam: an Application to Program Placement.

Botti, Oliver; De Cindio, Fiorella

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.

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

Back to the Petri Nets Bibliography