Performance Evaluation Review, Vol. 16, No. 1, May 1988.
Abstract: A stochastic Petri net model of the FPS/264 is solved by using the RDPS package. The number of states of the stochastic Petri net is reduced by using a simple method to take care of the clock synchronizations and an iterative aggregation-disaggregation method. The solution of the stochastic Petri net lets the authors derive a simple queueing network model.