Internet Host Reliability Modeling with Time Petri Nets

Abstract

Understanding the reliability of components is important for modeling the reliability of a distributed system. Careful modeling allows the construction of highly fault-tolerant distributed data applications and less expensive. Petri nets have been extensively used in the modeling and analysis of concurrent and distributed systems. Particular importance of Petri nets are in the development of concurrent and distributed systems. One of the standard concepts of time-dependent Petri nets is the one, where each transition gets a continuous time interval, specifying the range of the transition's reaction time. This extension of classical Petri nets is called Time Petri nets. In the internet the host is to obtain the data required to implement the functions of the Internet. In this paper, a method to model the internet host reliability with Time Petri nets is proposed.

References

• Gu . T. , and Bahri P. A. 2002. A Survey of Petri Net Applications in Batch Processes, computers in industry, vol. 47, pp 99-111.
• Ramchandani C. 1974. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Massachusetts Inst. Tech. Rep. 120.
• Merlin P. M. , and Farber D. J. 1976. Recoverability of Communication Protocols -Implications of a Theoretical Study. IEEE Trans. Commun. , vol. 24 (9), pp 1036–1043.
• Gu T. , and Dong R. 2005. A Novel Continuous Model to Approximate Time Petri Nets: Modeling and Analysis. Int. J. Appl. Math. Comput. Sci. , vol. 15(1), pp. 141–150.
• Couloris G. , Dollimore J. , and Kinberg T. 2001. Distributed Systems- Concepts and Design. 4th Edition, Addison-Wesley, Pearson Education, UK.
• Peiravi A. 2010. Application of String Matching in Internet Security and Reliability. Journal of American Science, vol. 6(1), pp. 25-33.
• Bobbio A. , Franceschinis G. , Portinale L. , and Gaeta R. , 1999. Exploiting Petri nets to support fault-tree based dependability analysis. In Proc. 8th Int. Workshop on Petri Nets and Performance Models, Zaragoza, Spain, pp. 146-155.
• Everdij M. and Blom H. 2003. Petri-nets and hybrid-state Markov processes in a power-hierarchy of dependability models. In Proc. IFAC Conf. Analysis and Design of Hybrid Systems, Saint-Malo, Brittany, France.
• Leveson N. G. , and Stolzy J. L. 1987. Safety analysis using Petri nets. IEEE Trans. Softw. Eng. , vol. 13(3), pp. 386-397, Mar.
• Buy U. and Sloan R. 1993. A Petri net-based approach to real-time program analysis. In Proc. 7th Int. Workshop on Software Specification and Design, Redondo Beach, California, pp. 56-60.
• Wang H. and Zeng Q. 2008. Modeling and analysis for workflow constrained by resources and nondetermined time: an approach based on Petri nets. IEEE Trans. Syst. , Man and Cybern. A, Syst. , Humans, vol. 38(4), pp. 802-817.
• Lee J. -S. , Zhou M. C. , and Hsu P. -L. 2008. Multiparadigm modeling for hybrid dynamic systems using a Petri net framework. IEEE Trans. Syst. , Man and Cybern. A, Syst. , Humans, vol. 38(2), pp. 493-498.
• Ma L. , and Tsai J. J. P. 2008. Formal modeling and analysis of a secure mobile-agent system. IEEE Trans. Syst. , Man and Cybern. A, Syst. , Humans, vol. 38(1), pp. 180-196.
• Shen V. R. L. , and Juang T. T. -Y. 2008. Verification of knowledge-based systems using predicate/transition nets. IEEE Trans. Syst. , Man and Cybern. A, Syst. , Humans, vol. 38 (1), pp. 78-87.
• Du Y. Y. , Jiang C. J. , and Zhou M. C. 2007. Modeling and analysis of real-time cooperative systems using Petri nets. IEEE Trans. Syst. , Man and Cybern. A, Syst. , Humans, vol. 37(5), pp. 643-654.
• Peterson J. L. 1977. Petri Nets. ACM Computing Surveys (CSUR), vol. 9(3), pp 223–252.
• Peterson J. L. 1981. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs.
• Dwyer M. B. , Clarke L. A. 1996. A Compact Petri Net Representation and its Implications for Analysis. IEEE Trans. on Software Engineering, vol. 22(11), pp. 794–811.
• Koriem S. M. 2002. A Fuzzy Petri Net tool for Modeling and Verification of Knowledge-based Systems. The Computer Journal, vol. 43(3), pp. 206–223.
• Murata T. 1989. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, vol. 77, pp. 541–580.
• Chang Y. -C. , Huang Y. -C. , and Chu C. -P. 2009. B2 Model: A Browsing Behavior Model based on High-Level Petri Nets to Generate Behavioral Patterns for e-learning. Expert Systems with Applications, vol. 36, pp 12423–12440.
• Peter Bachmann J. , and Popova-Zeugmann L. 2010. Time-independent Liveness in Time Petri Nets. IOS Press , Fundamenta Informaticae, vol. 101, pp. 1–17.
• Gonzalez P. M. , and Silva J. R. 2008. Using Time Petri Nets for Modeling and Verification of Timed Constrained Workflow Systems. Abcm Symposium Series in Mechatronics, vol. 3 - pp. 471-478.
• Silberschatz I. , Galvin P. B. , and Gagne G. 2001. Operating System Concepts. 6th Edition, Wiley, John & Sons.
• Falai L. 2007. Observing, Monitoring and Evaluating Distributed Systems. Ph. D. thesis, Universitµa degli Studi di Firenze.
• "What is an Internet Host? "http://www. inetdaemon. com/tutorials/internet/ip/whatis_ip_host. shtml".
• Long D. , Muir A. , and Golding R. 1995. A Longitudinal Survey of Internet Host Reliability. In Proc. of the Symposium on Reliable Distributed Systems.
• Sun Microsystems, Incorporated. RPC: Remote Procedure Call Protocol Specification Version 2. Tech. Rep. RFC-1057, USC Information Sciences Institute, June, 1988.
• Mockapetris P. V. 1987. Domain Names-Concepts and Facilities. Tech. Rep. RFC-1034, USC Information Sciences Institute.
• Long D. , Carroll J. , and Park C. 1991. A study of the Reliability of Internet Sites. In Proceedings of the Tenth Symposium on Reliable Distributed Systems, pp. 177–186, Pisa.

Index Terms

Keywords