Модифіковані мережі Петрі (Petri netze) для формування паралельних процесів у системах управління

Валерий Валентинович Кузьмук, Оксана Александровна Супруненко

Abstract


The problems of detecting errors in the design of complex control systems. Offered as a reference model for verification of a software system using a model based on control of Petri nets

Keywords


Concurrent processes; control systems; the model of a software system that control Petri net

References


Кузьмук В.В., Супруненко О.О. Модифицированные сети Петри и устройства моделирования параллельных процессов: Монография. – К.: Маклаут, 2010. – 260 с.

Карпов Ю.Г. Model Checking. Верификация параллельных и распределённых программных систем. – СПб.: БХВ-Петербург, 2010. – 560 с.

Petri C.A. Kommunikatoin mit Automaten. – Bonn: Institut für Instrumentelle Mathematik, 1962. – 89 S.

W. Reisig. Petrinetze. Vieveg+Teubner Verlag, Wiesbaden GmBH, 2010, - 247S.

Бройнль Томас. Паралельне програмування: Початковий курс: / Пер. з нім. В.А. Святного. – К.: Вища школа, 1997. – 358 с.

Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация, применение. – СПб: БВХ - Петербург, 2003. – 1104 с.


GOST Style Citations








Copyright (c) 2014 Валерий Валентинович Кузьмук, Оксана Александровна Супруненко

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

ISSN (print) 1729-3774, ISSN (on-line) 1729-4061