Special Issue: Computer Networks and Distributed Computing

• Articles • Previous Articles    

CIMS Network Protocol and Its Net Models

Luo Junzhou; Gu Guanqun;   

  1. Department of Computer Science and Engineering; Southeast University; Nanjing 210096;
  • Online:1997-09-10 Published:1997-09-10

Computer communication network architectures for CIMS are based on the OSI Reference Model. In this paper, CIMS network protocol model is set up on the basis of the corresponding service model. Then the authors present a formal specification of transport protocols by using an extended Predicate/Transition net system that is briefly introduced in the third part. Finally, the general methods for the Petri nets based fornlal specification of CIMS network protocols are outlined.

Key words: IP quality of service; differentiated service; per hop behavior; optical burst switching;



[1] Billington J. Protocol Engineering and Nets. In Proc. 8th European Workshop on Application and Ttacory of Pctri Nets, Zaragoza, Spain, June 1987, pp.137-156.

[2] Reisig W.A. Primer in Petri Net Design. Springcr-Verlag, Berlin, 1992, p.120.

[3] Yuan Chongyi. Petri Net. Southeast University Press, Nanjing, 1989, p.272.(in Chinese). ……….
[1] Ke-Ping Long, Yun Li, Rodney S. Tucker, and Chong-Gang Wang. A Novel Framework for IP DiffServ over Optical Burst Switching Networks [J]. , 2004, 19(6): 0-0.
[2] Ming-Kuan Liu, Fei-Yue Wang, and Daniel Dajun Zeng. Web Caching: A Way to Improve Web QoS [J]. , 2004, 19(2): 0-0.
[3] PANG Bin (庞 斌), SHAO HuaiRong (邵怀荣)2 and GAO Wen (高 文). An Admission Control Scheme for End-to-End Statistical QoS Provision in IP Networks [J]. , 2003, 18(3): 0-0.
[4] LONG KePing (隆克平), WANG Qian (王 茜), CHENG ShiDuan (程时端) and CHEN JunLiang (陈俊亮). Quantitative Adaptive RED in Differentiated Service Networks [J]. , 2003, 18(2): 0-0.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Gao Qingshi; Zhang Xiang; Yang Shufan; Chen Shuqing;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[2] Han Jianchao; Shi Zhongzhi;. Formalizing Default Reasoning[J]. , 1990, 5(4): 374 -378 .
[3] Zhang Bo; Zhang Ling;. On Memory Capacity of the Probabilistic Logic Neuron Network[J]. , 1993, 8(3): 62 -66 .
[4] Chen Yangjun;. Counting and Topological Order[J]. , 1997, 12(6): 497 -509 .
[5] WANG Bingshan; LI Zhoujun; CHEN Huowang;. Universal Abstract Consistency Class and Universal Refutation[J]. , 1999, 14(2): 165 -172 .
[6] WAN Huagen; JIN Xiaogang; BAO Hujun;. Direct 3D Painting with a Metaball-Based Paint brush[J]. , 2000, 15(1): 100 -104 .
[7] ZHANG Wensong; JIN Shiyao; WU Quanyuan;. LinuxDirector: A Connection Director for Scalable Internet Services[J]. , 2000, 15(6): 560 -571 .
[8] Zhong-Xuan Liu, Shi-Guo Lian, and Zhen Ren. Quaternion Diffusion for Color Image Filtering[J]. , 2006, 21(1): 126 -136 .
[9] Zhou-Wang Yang, Chun-Lin Wu, Jian-Song Deng,and Fa-Lai Chen. Specification of Initial Shapes for Dynamic Implicit Curve/Surface Reconstruction[J]. , 2006, 21(2): 249 -254 .
[10] Zhi-Hua Zhou. Multi-Instance Learning from Supervised View[J]. , 2006, 21(5): 800 -809 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved