G. Calhoun, Wireless Access and the Local Telephone Network, Artech House, Boston, MA, 1992.
R. L. Freeman, Radio System Design for Telecommunications, John Wiley & Sons, New York. NY, second edition, 1997.
P. Agrawal, D. K. Anvekar, and B. Narendran. "Channel management policies for handover in cellular networks", Bell Labs Tech. J., 1996, pp. 97-110.
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.
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.
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.
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.
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.
J. F. Meyer, "Performability: a retrospective and some pointers to the future", Performance Evaluation, 1 Vol. 14, No.3, 1992, pp. 157-196.
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.
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
G. Ciardo and K. S. Trivedi, "A decomposition approach for stochastic reward net models", Performance Evaluation, Vol. 18, No.1, 1993, pp. 37-59.
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.
J. L. Peterson, "Petri Net Theory and the Modeling of Systems", Prentice Hall, Inc., Englewood Cliffs, 1981.
M. Ajmone-Marsan, D. Kartson, G. Conte, and S. Donatelli, Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons, Inc., New York, NY, 1995.
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.
M. K. Molloy, "Performance analysis using stochastic Petri nets", IEEE Transactions on Computers, Vol.31, No.9, 1982, pp.913-917.
S. Natkin, Reseaux de Petri stochastiques. PhD thesis, CNAM-Paris. 1980
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.
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.
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.
G. Giardo, K. S. Trivedi: SPNP Users Manual Version 6.0. Technical report, Duke Univ., 1999.
Mobile station-base station compatibility stand for dual mode wideband spread spectrum cellular system, EIA/TIA Technical Report IS-95, 1993.
M.D. Yacoub, Foundations of Mobile Radio Engineering, CRC Press, Boca Raton, FL, 1993.
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.
G. Ciardo and K. S. Trivedi, "A decomposition approach for stochastic reward net models", Performance Evaluation, Vol 18, No. 1, 1993, pp.37-59.
J. F. Meyer, "Performability: a retrospective and some pointers to the future", Performance Evaluation, Vol 14, No. 3, 1992, pp.157-196.
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.
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.