Combining generalized stochastic Petri nets and PERT networks for the performance evaluation of concurrent processes

Abstract

A combining of GSPNs (generalized stochastic Petri nets) and PERT networks is used in order to reduce the computational complexity of performance evaluation of concurrent processes modeled by GSPNs. The authors propose the following methodology. First, for PERT networks, an algorithm with good accuracy and computational complexity criteria should be formulated. Second, for safe GSPNs with acyclic behavior, a modification of the algorithm should be created. Third, another algorithm for safe GSPNs with cyclic behavior should be constructed. >