International Journal of Contents

The Korea Contents Association (한국콘텐츠학회)
권호 표지
DOI QR코드

DOI QR Code

Stochastic Petri Nets Modeling Methods of Channel Allocation in Wireless Networks

  • Published : 2008.09.30
Download PDF
⟨ Previous Next ⟩

Abstract

To obtain realistic performance measures for wireless networks, one should consider changes in performance due to failure related behavior. In performability analysis, simultaneous consideration is given to both pure performance and performance with failure measures. SRN is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, a new methodology to model and analyze performability based on stochastic reward nets (SRN) is presented. Composite performance and availability SRN models for wireless handoff schemes are developed and then these models are decomposed hierarchically. The SRN models can yield measures of interest such as blocking and dropping probabilities. These measures are expressed in terms of the expected values of reward rate functions for SRNs. Numerical results show the accuracy of the hierarchical model. The key contribution of this paper constitutes the Petri nets modeling techniques instead of complicate numerical analysis of Markov chains and easy way of performance analysis for channel allocation under SRN reward concepts.

Keywords

References

  1. G. Calhoun, Wireless Access and the Local Telephone Network, Artech House, Boston, MA, 1992.
  2. R. L. Freeman, Radio System Design for Telecommunications, John Wiley & Sons, New York. NY, second edition, 1997.
  3. P. Agrawal, D. K. Anvekar, and B. Narendran. "Channel management policies for handover in cellular networks", Bell Labs Tech. J., 1996, pp. 97-110.
  4. L. J. Cimini, G. J. Foschini, C.-L. I, and Z. Miljanic, "Call blocking performance of distributed algorithms for dynamic channel allocation in microcells", IEEE Trans. Commun., Vol. 42, No.8, 1994, pp. 2600-2607. https://doi.org/10.1109/26.310620
  5. I. Katzela and M. Naghshineh, "Channel assignment schemes for cellular mobile telecommunication systems: A comprehensive survey", IEEE Personal Communications, Vol. 3, No.3, 1996, pp. 10-31. https://doi.org/10.1109/98.511762
  6. Y.-B. Lin, S. Mohan, and A. Noerpel, "Queueing priority channel assignment strategies for pcs hand-off and initial access", IEEE Trans. Veh. Technol., Vol. 43, No.3, 1994, pp. 704-712. https://doi.org/10.1109/25.312778
  7. E. Del Re, R. Fantacci, and G. Giambene, "Handover and dynamic channel allocation techniques in mobile cellular networks", IEEE Trans. Veh. Technol., Vol. 44, No.2, 1995, pp. 229-237. https://doi.org/10.1109/25.385913
  8. C. H. Yoon and C. K. Un, "Performance of personal portable radio telephone systems with and without guard channels", IEEE J. Select. Areas Commun., Vol. 11, No.6, 1993, pp. 911-917. https://doi.org/10.1109/49.232300
  9. J. F. Meyer, "Performability: a retrospective and some pointers to the future", Performance Evaluation, 1 Vol. 14, No.3, 1992, pp. 157-196. https://doi.org/10.1016/0166-5316(92)90003-Y
  10. K. S. Trivedi, J. K. Muppala, S. P. Woolet, and B. R.Haverkort, "Composite performance and dependability analysis", Performance Evaluation, Vol. 14, No.3, 1992, pp. 197-215. https://doi.org/10.1016/0166-5316(92)90004-Z
  11. M. Malhotra and K. S. Trivedi, "A methodology for formal Specication of hierarchy in model solution", in Proceedings of the 5th Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse, France, Oct. 1993
  12. G. Ciardo and K. S. Trivedi, "A decomposition approach for stochastic reward net models", Performance Evaluation, Vol. 18, No.1, 1993, pp. 37-59. https://doi.org/10.1016/0166-5316(93)90026-Q
  13. A. Bobbio and K. S. Trivedi, "An aggregation technique for the transient analysis of stiff Markov chains", IEEE Trans. Computers, Vol. 35, No.9, 1986, pp. 803-814. https://doi.org/10.1109/TC.1986.1676840
  14. J. L. Peterson, "Petri Net Theory and the Modeling of Systems", Prentice Hall, Inc., Englewood Cliffs, 1981.
  15. M. Ajmone-Marsan, D. Kartson, G. Conte, and S. Donatelli, Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons, Inc., New York, NY, 1995.
  16. G. Bolch, S. Greiner, H. de Meer, and K. S. Trivedi, Queueing Networks and Markov Chains, Modeling and Performance Evaluation with Computer Science Application. John Wiley & Sons, New York, NY, 1998.
  17. M. K. Molloy, "Performance analysis using stochastic Petri nets", IEEE Transactions on Computers, Vol.31, No.9, 1982, pp.913-917. https://doi.org/10.1109/TC.1982.1676110
  18. S. Natkin, Reseaux de Petri stochastiques. PhD thesis, CNAM-Paris. 1980
  19. M.Ajmone Marsan, G. Conte, and G. Balbo, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsv, ACM Transactions on Computer Systems, Vol2, No. 2, 1984, pp.93-122. https://doi.org/10.1145/190.191
  20. G. Ciardo, A. Blakemore, P.F. Chimento, and K.S. Trivedi, "Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets", Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Math. and its Applications, A. Friedman and J.W. Miller, eds., Vol. 48, pp. 145-191.Heidelberg, Germany: Springer-Verlag, 1993.
  21. K. S. Trivedi, J. K. Muppala, S. P. Woolet, and B. R.Haverkort, "Composite performance and dependability analysis", Performance Evaluation, Vol 14, No. 3, 1992, pp.197-215. https://doi.org/10.1016/0166-5316(92)90004-Z
  22. G. Giardo, K. S. Trivedi: SPNP Users Manual Version 6.0. Technical report, Duke Univ., 1999.
  23. Mobile station-base station compatibility stand for dual mode wideband spread spectrum cellular system, EIA/TIA Technical Report IS-95, 1993.
  24. M.D. Yacoub, Foundations of Mobile Radio Engineering, CRC Press, Boca Raton, FL, 1993.
  25. N. D. Tripathi, J. H. Reed, and H. F. Vanlandingham, "Handoff in cellular systems", IEEE Personal Communications, Vol 5, No. 6, 1998, pp.26-37. https://doi.org/10.1109/98.736475
  26. G. Ciardo and K. S. Trivedi, "A decomposition approach for stochastic reward net models", Performance Evaluation, Vol 18, No. 1, 1993, pp.37-59. https://doi.org/10.1016/0166-5316(93)90026-Q
  27. J. F. Meyer, "Performability: a retrospective and some pointers to the future", Performance Evaluation, Vol 14, No. 3, 1992, pp.157-196. https://doi.org/10.1016/0166-5316(92)90003-Y
  28. V. Mainkar and K. S. Trivedi, "Sufficient conditions for existence of a fixed point stochastic reward net-based iterative models", IEEE Trans. Software Engineering, Vol 22, No. 9, 1996, pp.640-653. https://doi.org/10.1109/32.541435
  29. A Guide to DECT features that influence the traffic capacity and the maintenance of high radio link transmission quality, including the results of simulations. http://www.etsi.org, 1991.

Cited by

  1. Modeling and analysis of memory virtualization in cloud computing vol.18, pp.1, 2015, https://doi.org/10.1007/s10586-014-0353-4