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.