A Novel Method for 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, this paper introduces a 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. The authors 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.

Provided by: University of Science and Technology of China Topic: Software Date Added: Dec 2011 Format: PDF

Find By Topic