Classification of Petri nets and examples of their application for the decision of application problems

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

Abstract


In this article the classification of Petri nets, the basic characteristics of main classes and recommendations as to the applied problems solving are considered

Keywords


Classification of Petri nets, classes and modification of Petri nets, application

References


Евгеньев Б.Г. Модели вместо алгоритмов. Смена парадигмы разработки прикладных систем. [Электронный ресурс]. // Наука и образование. – № 12. – 2005. Режим доступа: http://technomag.edu.ru/doc/56632.html. – 09.07.2010. – Загл. с экрана.

Карпов А. Введение в проблематику разработки параллельных программ. [Электронный ресурс]. Режим доступа: http://www.viva64.com/ru/a/0016/. – 09.03.2011. – Загл. с экрана.

Кузьмук В.В. Сети Петри, параллельные алгоритмы и модели мультипро-цессорных систем. [Текст] / Кузьмук В.В., Васильєв В.В.– К.: Наукова думка, 1990. – 216 с.

A. Spiteri Staines, Supporting Requirements Engineering With Different Petri Net Classes. // International journal of computers. – 2010. – Volume 4. – Issue 4. – p.215-222.

Кузьмук В.В. Модифицированные сети Петри и устройства моделирования параллельных процессов [Текст] : Монография. / Кузьмук В.В., Супруненко О.О. – К.: Маклаут, 2010. – 260 с. – Библиогр. – с. 244-251. - ISBN 978-966-2200-07-2.

Jensen K. Coloured Petri Nets. Vol. 2. — Berlin a.o.: Springer, 1995.

А.с. 1405070 СССР, кл.G06F 15/20. Устройство для моделирования графов Петри. [Текст]. / Васильев В.В., Кузьмук В.В., Лисицин Е.Б., Шумов В.А. (СССР) // № 4150088/24-24, заявлено 21.11.86; опубл. 23.10.1988, Бюл. № 39. – 10 с.

А.с. 1432550 СССР, кл.G06F 15/20. Устройство для моделирования графов Петри. [Текст]. / Васильев В.В., Кузьмук В.В., Лисицин Е.Б., Шумов В.А. (СССР) // № 4219160/24-24, заявлено 03.04.87; опубл. 23.10.1988, Бюл. № 39. – 12 с.

Захаров Н.Г., Рогов В.Н. Синтез цифровых автоматов: Учебное пособие. – Ульяновск: УлГТУ, 2003 -135 с.

Кузьмук В.В. Применение модифицированных Е-сетей для построения параллельных алгоритмов. [Текст]. / Доклады АН УРСР. Сер. А: Физико-ма¬тематические и технические науки. – К.: "Наукова думка", 1985, №8, С.65-68.

Кулагин В.П. Моделирование структур параллельных вычислительных систем на основе сетевых моделей: [Текст]. Учебное пособие. – М: Московский государственный институт электроники и математики (технический университет), 1998. – 102 с.

Классификация сетей Петри. [Электронный ресурс]. Режим доступа: http://minska.ru/klassifikaciya-setej-petri.html. – 17.03.2011. – Загл. с экрана.

WF-сети. [Электронный ресурс]. Режим доступа: http://ru.wikipedia.org/wiki WF-сети. – 15.03.2011. – Загл. с экрана.

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


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