Issue No. 02 - February (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.67591
<p>A new solution is given for the steady-state probability computation of closed synchronized queuing networks. A closed synchronized queuing network is a particular Markov stochastic Petri net (a bounded and monovaluated Petri net with a strongly connected reachability graph and constant firing rates independent of markings). It is shown that the steady-state probability distribution can be expressed using matrix products. The results generalize the Gordon-Newell theorem. The solution is similar to the Gordon-Newell product form using matrix and vectors instead of scalars. A prototype solver developed from this result is presented.</p>
performance evaluation; queueing network product form solutions; stochastic Petri nets; steady-state probability; closed synchronized queuing networks; Markov stochastic Petri net; strongly connected reachability graph; constant firing rates; matrix products; Gordon-Newell theorem; performance evaluation; Petri nets; queueing theory
G. Florin and S. Natkin, "Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 99-107, 1991.