Modelling Large-Scale Discrete Event Systems as Modular Petri Nets Using GPenSIM
Reggie Davidrajuh (University of Stavanger, Norway)
This paper introduces modularization of large Petri net models using the tool General Purpose Petri net Simulator (GPenSIM). The newer version of GPenSIM allows modularization so that the flexibility of the models as well as the comprehensibility can be improved. In addition, modularization reduces the development time and it increases the robustness. In the first part of this paper, following a brief literature study, the design criteria for developing modules for large Petri net models are discussed. In the second part, an application example is given. The theory and the application example shows that modularization in GPenSIM is a convenient way of modeling large systems; modularization using GPenSIM is not an extension of Petri nets, as it is not providing a new Petri net class.
Journal: International journal of simulation: systems, science & technology V18
Published: Dec 30, 2017