RDPS: A software package for the validation and evaluation of dependable computer systems. This paper presents the software tool RDPS. The first application of RDPS is the validation of synchronized systems modelled by Petri nets. RDPS computes the invariants of the net, generates the reachability graph, and analyzes several properties of the graph. The second application is the evaluation of performance or dependability parameters using stochastic Petri net theory.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Le Bail, Jean; Alla, Hassane; David, René: Asymptotic continuous Petri nets (1993)