In: IEICE Transactions, Vol. E74, No. 10, October 1991, Special Issue on Petri Nets and Discrete Event Systems. 1991.
Abstract: In this paper, we consider a system in which resource contention causes job interference, and propose a method of analyzing scheduling policy for interference avoidance. In this method, for each scheduling policy, we introduce functions between job execution performance and system states. By incorporating this function into a Stochastic Petri Net model, we cut down the size of the model. We apply the proposed method to analyzing performance of the control policy of a magnetic tape library, and show the efficiency and limit of this method.