出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：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
