This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets
July 1994 (vol. 20 no. 7)
pp. 536-544

This paper shows that some of the recently obtained product form results for stochastic Petri nets can be obtained as a special case of a simple exclusion mechanism for the product process of a collection of Markov chains.

[1] F. Baskett, K. M. Chandy, R. R. Muntz, and F. G. Palacios, "Open, closed, and mixed networks of queues with different classes of customers,"J. ACM, vol. 22, no. 2, pp. 248-260, 1975.
[2] R. J. Boucherie and M. Sereno, "A structural characterisation of product form stochastic Petri nets," Rep. BS-R9402, CWI. Amsterdam. Jan. 1994.
[3] S. Donatelli and M. Sereno, "On the product form solution for stochastic Petri nets," inProc. 13th Int. Conf. Applicat. and Theory of Petri NetsSheffield, UK, June 1992, pp. 154-172.
[4] G. Florin and S. Natkin, "Generalization of queueing network product form solutions to stochastic Petri nets,"IEEE Trans. Software Eng., vol. 17, 1991, pp. 99-117.
[5] D. Frosch and K. Natarajan, "Product form solutions for closed synchronized systems of stochastic sequential processes," inProc. 1992 Int. Comput. Symp., Taiwan, 1992, pp. 392-402.
[6] W. J. Gordon and G. F. Newell, "Closed queueing systems with exponential servers,"Operat. Res., vol. 15, pp. 254-265, 1967.
[7] W. Henderson and D. Lucic, "Aggregation and disaggregation through insensitivity in stochastic Petri nets,"Perform. Eval., vol. 17, pp. 91-114, 1993.
[8] W. Henderson and P. G. Taylor, "Open networks of queues with batch arrivals and batch services,"Queueing Syst., vol. 6, pp. 71-88, 1990.
[9] W. Henderson and P. G. Taylor, "Embedded processes in stochastic Petri nets,"IEEE Trans. Software Eng., vol. 17, pp. 108-116, 1991.
[10] J. R. Jackson, "Networks of waiting lines,"Operat. Res., vol. 5, pp. 518-521, 1957.
[11] J. S. Kaufman, "Blocking in a shared resource environment,"IEEE Trans. Commun., vol. 29, pp. 1474-1481, 1981.
[12] F. P. Kelly, "Stochastic models of computer communication systems,"J. Roy. Statist. Soc. B, vol. 47, pp. 379-395, 1985.
[13] F. P. Kelly,Reversibility and Stochastic Networks. New York: Wiley, 1979.
[14] A. A. Lazar and T. G. Robertazzi, "Markovian Petri net protocols with product form solution,"Perform. Eval., vol. 12, pp. 67-77, 1991.
[15] M. Li and N. D. Georganas, "Parametric analysis of stochastic Petri nets," inProc. Fifth Int. Conf. Modelling Tech. and tools for Comput Perform. Eval., Torino. Italy, 1991, pp. 287-299.
[16] M. A. Marsan, G. Balbo, G. Conte, and F. Gregoretti, "Modeling bus contention and memory interference in a multiprocessor system,"IEEE Trans. Comput., vol. C-32, pp. 60-72, 1983.
[17] B. Mitra, "Probabilistic models and asymptotic results for concurrent processing with exclusive and non-exclusive locks,"SIAM J. Computation, vol. 14, pp. 1030-1051, 1985.
[18] D. Mitra and P. J. Weinberger, "Probabilistic models of database locking: Solutions, computational algorithms and asymptotics,"J. ACM, vol. 31, no. 4, pp. 855-878, Oct. 1984.
[19] T. Murata, "Petri nets: Properties, analysis, and applications,"Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[20] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[21] I. Y. Wang and T.G. Robertazzi, "Service stage Petri net models with product form,"Queueing Syst., vol. 7, pp. 355-374, 1990.
[22] B. Yeart, "The philosophers' process: An ergodic reversible nearest particle system," Res. Rep., Lab. de math. appl., Univ. de Pau, 1991.
[23] A. Zeine, "Coloured stochastic Petri nets," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985, pp. 262-271.

Index Terms:
Petri nets; Markov processes; competing Markov chains; stochastic Petri nets; simple exclusion mechanism; independence; resource sharing
Citation:
R.J. Boucherie, "A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets," IEEE Transactions on Software Engineering, vol. 20, no. 7, pp. 536-544, July 1994, doi:10.1109/32.297942
Usage of this product signifies your acceptance of the Terms of Use.