КОНЦЕПЦИЯ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ ПРЕДСТАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА СЕТЬЮ ПЕТРИ

Nataliya Komlevaya; Oleg Paulin

doi:10.30888/2663-5712.2022-11-01-083

Authors

Nataliya Komlevaya Odessa State University “Odessa polytechnica” https://orcid.org/0000-0001-9627-8530
Oleg Paulin Odessa State University “Odessa polytechnica” https://orcid.org/0000-0002-2210-8317

DOI:

https://doi.org/10.30888/2663-5712.2022-11-01-083

Keywords:

software product quality, concept, information technology, stage, verbal description of the algorithm, computational process, decomposition, fragment, Petri net, modeling, optimization, library

Abstract

The aim of the work is to improve the quality of software products by preliminary representation of computational processes (CP) by a powerful tool for their description - Petri net (PN). This will allow you to identify many errors already at the stage of

Metrics

Metrics Loading ...

References

Paulin, O. N., Komleva, N. O., Marulin, S. U. & Nikolenko, A. A. “Method for Constructing the Model of Computing Process Based on Petri Net”. Applied Aspects of Information Technology. Publ. Science i Technical. Odessa: Ukraine. 2019; Vol. 2 No.4: 260–270. DOI: https://doi.org/10.15276/aait.04.2019.1

Goodman, S.E. and Hedetniemi, S.T. Introduction to the Design and Analysis of Algorithms [Text] Tata Mcgraw-Hill, New Delhi, 2002.

Шалыто А. А. SWITCH-технология. Алгоритмизация и программирование логических задач управления [Текст] – СПб: Наука, 1998. – 628 с.

Бурдонов И. Б., Косачев A. С., Кулямин В. В. Использование конечных автоматов для тестирования программ [Текст] // Программирование. – 2000. – №2. – С. 12-28.

Girault C., Valk R. Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications [Online] – Springer, 2003. — 601 p.