Аннотації
Автор(и):
В.В.Кузьмук., О.О.Супруненко., А.В.Кузьмук
Дата публікації:
25.11.2011
Анотація (укр):
Розглянуто модифікацію управляючих мереж Петрі, яка призначена для моделювання паралельних процесів при багатоваріантному виборі альтернатив. Подано модель задачі про філософів, яка побудована на основі управляючих оціночних мереж Петрі.
Анотація (рус):
Рассмотрена модификация управляющих сетей Петри, которая предназначена для моделирования параллельных процессов при многовариантном выборе альтернатив. Представлена модель задачи об обедающих философах, построенная на основе управляющих оценочных сетей Петри.
Анотація (англ):
This article a modification of the control of Petri nets, which is designed for modeling concurrent processes in multiple-choice alternatives. The model of the problem philosophers, built on the basis of control estimates of Petri nets.
Література:
- Васильев В.В., Кузьмук. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем – К: Наукова думка, 1990 – 216 с.
- Кузьмук В.В., Модифицированные сети Петри и устройства моделирования параллельных процессов: Монография. – К.: Маклаут, 2010. – 252 с.
- Бройнль Томас. Паралельне програмування: початковий курс: / пер. з нім. В.А. Святного. – К.: Вища школа, 1997. – 358 с.
- Питерсон Дж. Теория сетей Петри и моделирование систем / пер. с англ.— М. : Мир, 1984,— 264 с.
- Тараненко Е.А., Частотно-волновой резонанс, полиморфная модуляция и параллелизм процессов функционирования в оборудовании серии АТМ. Книга. – К.: Маклаут, 2011.-178с.
- Кузьмук В.В. Язык описания и моделирования параллельных процессов управляющих сетей. "Наукова думка", Электронное моделирование, Т.8, №5, 1986, с. 21-25.
- А. с. 1714621 A1 СССР, МКЛ5 G06F 15/419 Устройство для моделирования графов Петри. / Васильев В.В., Зенкин С.В., Кузьмук В.В., Лисицин Е.Б. (СССР). – 4816639; заявлено 20.04.1991; опубл. 30.05.1992, Бюл. №7.