Abstract:
In this paper, we present an approach to the generation of Petri nets exhibiting desired structural and behavioral properties. Given a reference Petri net, we apply a collection of local refinement transformations, which extends the internal structure of the reference model. The correctness of applying these transformations is justified via Petri net morphisms and by the fact that transformations do not add new deadlocks to Petri nets. We have designed two Petri net refinement algorithms supporting the randomized and fixed generation of models. These algorithms have been implemented and evaluated within the environment of the Carassius Petri net editor. The proposed approach can be applied to evaluate and conduct experiments for algorithms operating with Petri nets.
Keywords:
Petri nets, morphisms, property-preserving transformations, generation of models.
This work is supported by the Basic Research Program at the National Research University Higher School of Economics (HSE University), Russia
Document Type:
Article
Language: English
Citation:
R. A. Nesterov, S. Yu. Savelyev, “Generation of Petri nets using structural property-preserving transformations”, Proceedings of ISP RAS, 33:3 (2021), 155–170
\Bibitem{NesSav21}
\by R.~A.~Nesterov, S.~Yu.~Savelyev
\paper Generation of Petri nets using structural property-preserving transformations
\jour Proceedings of ISP RAS
\yr 2021
\vol 33
\issue 3
\pages 155--170
\mathnet{http://mi.mathnet.ru/tisp606}
\crossref{https://doi.org/10.15514/ISPRAS-2021-33(3)-12}
Linking options:
https://www.mathnet.ru/eng/tisp606
https://www.mathnet.ru/eng/tisp/v33/i3/p155
This publication is cited in the following 1 articles:
Denis Zhuravlev, Vitaly Chaadaev, “Modeling the Processes of a Complex Socio-Economic System and Strategic Development Priorities”, Strategizing: Theory and Practice, 3:1 (2023), 1
Citation in format AMSBIB
Contact us: