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

Performance evaluation and model checking in systems modeled as Hybrid Petri nets

โœ Scribed by K. Renganathan; Vidhyacharan Bhaskar

Book ID
113461206
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
497 KB
Volume
36
Category
Article
ISSN
0307-904X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Petri Net modelling and reliability eval
Petri Net modelling and reliability evaluation of distributed processing systems
โœ Vinod Kumar; K.K. Aggarwal ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 671 KB

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