Chen-xi SHAO^1,3, Er-hui ZHOU^1,2, Zhen-zhong SHAO⁴, Wei-hua WANG⁵, Xue-feng WU¹, ¹University of Science and Technology of China, China, ²Information Center of Hospital, China, ³Anhui Province Key Laboratory of Software in Computing and Communication, China, ⁴Jianghuai Automobile Co., Ltd, China and ⁵Liwei Automobile Oil-pump Co., Ltd., China

Message Sequence Chart (MSC) is a graphical trace language for describing the communication behaviour of distributed systems. In order tobuild a Petri Net model of a complex system, this paper introducesa strategy to build a Petri Net model by using MSC. The algorithm of translating the MSC model to Petri Net model is also given in this paper. We can get the Petri Net model and improve it by translating the model of MSC. By analyzing the Petri Net model, it is proved to be safe and reliable.

modeling/simulation; Message Sequence Charts(MSC); Petri Net