|
Software implementation of a method for generation of Petri nets of large size
D. I. Kharitonov, G. V. Tarasov, D. V. Leontyev Institute of Automation and Control Processes, Far-Eastern Branch of the Russian
Academy of Sciences, 5 Radio Str., Vladivostok 690041, Russian Federation
Abstract:
The software implementation of a method for generation of Petri nets having millions of elements of places and transitions is described. Particular attention is paid to the internal data structures and algorithmic complexity of the method. The presented material allowed the authors to obtain a software tool with computational complexity $O(n)$ where $n$ is the number of elements in a model. The described theoretical results are justified by the performance tests in practical experiments.
Keywords:
Petri nets; program model; data structures; algorithm analysis; object-oriented programming.
Received: 10.10.2017
Citation:
D. I. Kharitonov, G. V. Tarasov, D. V. Leontyev, “Software implementation of a method for generation of Petri nets of large size”, Sistemy i Sredstva Inform., 28:2 (2018), 99–115
Linking options:
https://www.mathnet.ru/eng/ssi575 https://www.mathnet.ru/eng/ssi/v28/i2/p99
|
Statistics & downloads: |
Abstract page: | 208 | Full-text PDF : | 142 | References: | 19 |
|