For the most recent entries see the Petri Nets Newsletter.

RDPS A Software Package for the Validation and Evaluation of Dependable Computer Systems.

Florin, G.; Lonc, R.; Natkin, S.; Toudic, J.M.

In: Proc. of the 5th IFAC Workshop: SAFECOMP' 86 - IFAC Proceeding Series 1986, pages 165-170. Oxford: Pergamon Press, 1986.

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

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography