๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Petri Net modelling and reliability evaluation of distributed processing systems

โœ Scribed by Vinod Kumar; K.K. Aggarwal


Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
671 KB
Volume
41
Category
Article
ISSN
0951-8320

No coin nor oath required. For personal study only.

โœฆ Synopsis


A Petri Net model for the evaluation of reliability for the execution of a computer program in a distributed processing system (DPS) is developed. The execution of a program in a DPS may require access to several files residing at different sites and communication paths between several node pairs. The dynamic behaviour of the system under consideration is represented in the form of token movements within the model. Then, by using the reachability, firing, and marking concepts of Petri Nets, an algorithm is developed to study the two important reliability measures, namely, distributed computer program reliability (DCPR) and distributed processing system reliability (DPSR). The proposed algorithm is efficient in the sense that it directly generates all possible sets of path identifiers for the accessibility of a file which resides at more than one place and is required for the execution of a computer program residing at some other place without evaluating minimal S-T-paths for all S-T-connections. The developed algorithm has been implemented on a minicomputer.


๐Ÿ“œ SIMILAR VOLUMES


Reliability modelling of medium voltage
โœ D.C. Ionescu; A.P. Ulmeanu; A.C. Constantinescu; I. Rotaru ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 547 KB

The purpose of this study was to obtain a performable tool based on generalized stochastic Petri nets (GSPN), able to join precise results and fast approach. In practice, it is well known that a dependability analysis in the power systems field is often more difficult to perform due to the multiple