Open AccessGeneration of Petri Nets Using Structural Property-Preserving Transformations
Author(s) -
Roman Nesterov,
Семен Юрьевич Савельев
Publication year - 2021
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2021-33(3)-12
Subject(s) - petri net , computer science , correctness , process architecture , petri dish , stochastic petri net , theoretical computer science , property (philosophy) , distributed computing , algorithm , programming language , philosophy , epistemology , biology , genetics
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.