Sistemy i Sredstva Informatiki [Systems and Means of Informatics]
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Sistemy i Sredstva Inform.:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Sistemy i Sredstva Informatiki [Systems and Means of Informatics], 2018, Volume 28, Issue 2, Pages 99–115
DOI: https://doi.org/10.14357/08696527180208 (Mi ssi575) 		 
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
Full-text PDF (1323 kB)
References:
PDF
HTML
DOI: https://doi.org/10.14357/08696527180208
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.
Funding agency Grant number
Russian Academy of Sciences - Federal Agency for Scientific Organizations 0262-2014-0157
15-I-4-025
The research was supported by the Program of the Presidium of the Russian Academy of Sciences (project 0262-2014-0157) and by the Far East Program (project 15-I-4-025).
Received: 10.10.2017
Bibliographic databases:
Document Type: Article
Language: Russian
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
Citation in format AMSBIB
\Bibitem{KhaTarLeo18}
\by D.~I.~Kharitonov, G.~V.~Tarasov, D.~V.~Leontyev
\paper Software implementation of a method for generation of Petri nets of large size
\jour Sistemy i Sredstva Inform.
\yr 2018
\vol 28
\issue 2
\pages 99--115
\mathnet{http://mi.mathnet.ru/ssi575}
\crossref{https://doi.org/10.14357/08696527180208}
\elib{https://elibrary.ru/item.asp?id=32795853}
Linking options:
  • https://www.mathnet.ru/eng/ssi575
  • https://www.mathnet.ru/eng/ssi/v28/i2/p99
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Системы и средства информатики
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024