For the most recent entries see the Petri Nets Newsletter.

Un modello in reti di Petri per occam-2.

Botti, Oliver

Diploma Thesis. Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, Italy, 1989/90.

Abstract: The work deals with the definition of a true concurrent semantics of occam-2 by means of (the 1-safe PT class of) Petri nets: control flow, data and priority relations contained within occam-2 programs are represented in this net semantics. Particular attention is devoted to the modularity and compositionality of the obtained model. Several applications of the net semantics of occam-2 are considered. In particualr, a timed net model is developed using generalized stochastic Petri nets. This allows a performance analysis of occam-2 programs.

Keywords: net model (for) occam-2; true concurrent net semantics (of) occam-2; 1-safe place/transition net; control flow; data relation; priority relation; modularity; compositionality; timed net; generalized stochastic net; performance analysis (of) occam-2 programs.

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

Back to the Petri Nets Bibliography