han, P. Cheval, and J. Heinanen. 2002. Multiprotocol Label Switching (MPLS) support or differentiated services, IETF RFC 3270, May. [10] Kim, Y.-T., H.-S. Kim, and H.-H. Shin, 2005. Session and connection management for QoS-guaranteed multimedia service provisioning on IP/MPLS networks. In Proceedings of ICCSA2005 (LNCS 3481), May. [11] Braden, R., L. Zhang, S. Berson, S. Herzog, and S. Jamin. 1997. Resource ReSerVation Protocol (RSVP) Version 1 functional specification, IEEE RFC 2205, September. [12] Kim, Y.-T. 2005. Inter-AS Session and Connection Management for QoS-guaranteed DiffServ Provisioning. In Proceedings of SERA2005, August, 325-30. [13] VOCAL-Vovida Open Communication Application Library, Software version 1.4.0, http://www.vovida.org. [14] Cisco-QoS Scheduling and Queuing on Catalyst 3550 Switches, Cisco, July 2007. [15] IEEE Std 802.11e, Part 11: Wireless LAN Medium Access Control (MAC) and Physical layer (PHY) specifications: Amendment 8: Medium Access Control (MAC) Quality of Service Enhancements, 2005. [16] Mangold, S., S. Choi, G. Hiertz, O. Klein, and B. Walke. 2003. Analysis of IEEE 802.11e for QoS support in Wireless LANs, IEEE Wireless Communications, 19 December, 40-50. [17] Choi, S., J. del Prado, S. Shankar, and S. Mangold. 2003. IEEE 802.11e Contention-based Channel Access (EDCF) Performance Evaluation. In Proceedings of ICC 2003, 1151-56. [18] ITU-T Recommendation Y.1541, Network Performance Objectives for IP-based Service, May 2002. C 2009 by Taylor & Francis Group, LLC SIP Modeling and Simulation Yanlan Ding, GuiPing Su, and Huaxu Wan Graduate University of Chinese Academy of Sciences CONTENTS 16.1 Introduction 16.2 General Formal Modeling Methodologies and Tools for SIP 16.3 Modeling and Simulation of SIP through Timed Hierarchical CPN and CPN Tools 16.4 General Network Simulators for SIP 16.5 Summary References 16.1 Introduction 16.1.1 Background Although Session Initiation Protocol (SIP) is becoming widely used, it is still developing protocol with a lot of extensions proposed day-