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

Sequential and Distributed Model Checking of Petri Net Specifications

โœ Scribed by Alexander Bell; Boudewijn R. Haverkort

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
285 KB
Volume
68
Category
Article
ISSN
1571-0661

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

Specification and performance analysis o
Specification and performance analysis of embedded systems with coloured petri nets
โœ L.P.M. Benders ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 765 KB

To analyze synchronization, concurrency, communication protocols and system performance, a system level specification is modelled in a coloured Petri net. A toolbox collects information for the implementation, e.g., processing times, waiting times, idle times, data accesses, processing requests. Thi