A Simulation Modeling Method Based on Petri Net

Abstract

With the development of science and technology, simulation technology has been widely applied in all fields, such as complexity of model design field. And it has become an indispensable supportive technology, but the current simulation model is still lack of a formal description method for model verification and the analysis. Based on Petri nets, this paper presents a data-driven simulation model and the formal definition, then describes the model on the basis of the operation and shows an example to describe the principle and process of the formal model. A simulation model definition language that extends the PNML language is proposed in this paper and XML Schema is used for implementation.