CIMS Network Protocol and Its Net Models

Abstract

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;

Luo Junzhou; Gu Guanqun;. CIMS Network Protocol and Its Net Models[J]., 1997, 12(5): 476-481.

References

[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). ……….

Related Articles 4

[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.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Comments

Recommended 10

[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 .