A Novel Method for Petri Net Modeling

Abstract

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. We can get… (More)

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Shao2011ANM, title={A Novel Method for Petri Net Modeling}, author={Chen-xi Shao and Zhen-zhong Shao and Xue-feng Wu}, year={2011} }