Analyses are addressed for a number of problems in queueing systems and stochastic modeling that arose due to an investigation into techniques that could be used to approximate general closed networks. In Chapter II, a method is presented to calculate the system size distribution at an arbitrary point in time and at departures for a (n)/G/1/N queue. The analysis is carried out using an embedded Markov chain approach. An algorithm is also developed that combines our analysis with the recursive method of Gupta and Rao. This algorithm compares favorably with that of Gupta and Rao and will solve some situations when Gupta and Rao's method fails or becomes intractable. In Chapter III, an approach is developed for generating exact solutions of the time-dependent conditional joint probability distributions for a phase-type renewal process. Closed-form expressions are derived when a class of Coxian distributions are used for the inter-renewal distribution. The class of Coxian distributions was chosen so that solutions could be obtained for any mean and variance desired in the inter-renewal times. In Chapter IV, an algorithm is developed to generate numerical solutions for the steady-state system size probabilities and waiting time distribution functions of the SM/PH/1/N queue by using the matrix-analytic method. Closed form results are also obtained for particular situations of the preceding queue. In addition, it is demonstrated that the SM/PH/1/N model can be implemented to the analysis of a sequential two-queue system. This is an extension to the work by Neuts and Chakravarthy. In Chapter V, principal results developed in the preceding chapters are employed for approximate analysis of the closed network of queues with arbitrary service times. Specifically, the (n)/G/1/N queue is applied to closed networks of a general topology, and a sequential two-queue model consisting of the (n)/G/1/N and SM/PH/1/N queues is proposed for tandem queueing networks.

在這一篇論文裡，我們討論兩個階段的封閉式等候線網路，其中服務時間的機率分配都是Phase type分配。我們猜測服務時間的機率分配和離開時間間隔的機率分配滿足一組聯立方程組。然後，我們推導出非邊界狀態的穩定機率可以被表示成 product-form的線性組合，而每個product-form可以用聯立方程組的根來構成。利用非邊界狀態的穩定機率， 我們可以求出邊界狀態的機率。最後我們建立一個求穩定機率的演算過程。利用這個演算方法，可以簡化求穩定機率的複雜度。 / In this thesis, we are concerned with the property of a two-stage closed system in which the service times are identically of phase type. We first conjecture that the 　Laplace-Stieltjes Transforms (LST) of service time distributions may satisfy a system of equations. Then we present that the stationary probabilities on the unboundary states can be written as a linear combination of product-forms. Each component of these products can be expressed in terms of roots of the system of equations. Finally, we establish an algorithm to obtain all the stationary probabilities. The algorithm is expected to work well for relatively large customers in the system.