From basic to timed net models of Occam: an application to program placement

O. Botti; F. De Cindio

doi:10.1109/PNPM.1991.238798

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models

From basic to timed net models of Occam: an application to program placement

Year: 1991, Pages: 216,217,218,219,220,221

DOI Bookmark: 10.1109/PNPM.1991.238798

Authors

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.<>

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!

TOMSPIN-a Tool for Modelling with Stochastic Petri Nets
Petri Nets and Performance Models, IEEE International Workshop on
Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models
Engineering of Complex Computer Systems, IEEE International Conference on
Petri net modelling of Occam programs for detecting indeterminacy, non-termination and deadlock anomalies
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models
From stochastic Petri nets to Markov regenerative stochastic Petri nets
MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Timed Petri net models of queueing systems
IEEE International Performance Computing and Communications Conference
Supervisory controller design for timed Petri nets
System of Systems Engineering
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
Approaching Problems with Different Kinds of Petri Net Models
2022 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR)

From basic to timed net models of Occam: an application to program placement

Authors

Abstract

Related Articles