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

Наталия Комлевая; Олег Паулин

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

Автор(и)

Наталия Комлевая Одеский государственный университет «Одесская политехника» https://orcid.org/0000-0001-9627-8530
Олег Паулин Одеский государственный университет «Одесская политехника» https://orcid.org/0000-0002-2210-8317

DOI:

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

Ключові слова:

качество програмного продукта, концепция, информационная технология, этап, словесное описание алгоритма, вычислительный процесс, декомпозиция, фрагмент, сеть Петри, моделирование, оптимизация, библиотека.

Анотація

Целью работы является повышение качества программных продуктов путем представления и оптимизации вычислительных процессов (ВП) сетью Петри.Рассматривается новый подход к анализу программ, основанный на предварительном представлении ВП сетями Петри (СП).

Metrics

Metrics Loading ...

Посилання

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.