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.