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

DOI: 10.14357/08696527180208

Bibliographic databases:

•