New Method of Petri Net Modeling

Message Sequence Chart (MSC) is a graphical trace language for describing the communication behaviour of distributed systems. In order to build a Petri Net model of a complex system, a strategy was introduced to build a Petri Net model by using MSC. The algorithm of translating the MSC model to Petri Net model was also given. The Petri Net model could be got and it was improved by translating the model of MSC. By analyzing the Petri Net model, it is proved to be safe and reliable.