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

Authors

  • Валерій Валентинович Кузьмук Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України, Ukraine
  • Анна Миколаївна Парнюк Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України, Ukraine
  • Оксана Олександрівна Супруненко Черкаський національний університет імені Богдана Хмельницького бульв. Шевченко, 79, корп. №3, ауд. 275, г. Черкаси, Україна, 18006, Ukraine

DOI:

https://doi.org/10.15587/1729-4061.2011.1855

Keywords:

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

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

Author Biographies

Валерій Валентинович Кузьмук, Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України

Доктор технічних наук, професор, заступник керівника Відділення

Відділення гібридних моделюючих та управляючих систем в енергетиці

Анна Миколаївна Парнюк, Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України

Аспірант

Відділення гібридних моделюючих та управляючих систем в енергетиці

Оксана Олександрівна Супруненко, Черкаський національний університет імені Богдана Хмельницького бульв. Шевченко, 79, корп. №3, ауд. 275, г. Черкаси, Україна, 18006

Кандидат технічних наук, доцент

Кафедра програмного забезпечення автоматизованих систем

References

  1. Евгеньев Б.Г. Модели вместо алгоритмов. Смена парадигмы разработки прикладных систем. [Электронный ресурс]. // Наука и образование. – № 12. – 2005. Режим доступа: http://technomag.edu.ru/doc/56632.html. – 09.07.2010. – Загл. с экрана.
  2. Карпов А. Введение в проблематику разработки параллельных программ. [Электронный ресурс]. Режим доступа: http://www.viva64.com/ru/a/0016/. – 09.03.2011. – Загл. с экрана.
  3. Кузьмук В.В. Сети Петри, параллельные алгоритмы и модели мультипро-цессорных систем. [Текст] / Кузьмук В.В., Васильєв В.В.– К.: Наукова думка, 1990. – 216 с.
  4. A. Spiteri Staines, Supporting Requirements Engineering With Different Petri Net Classes. // International journal of computers. – 2010. – Volume 4. – Issue 4. – p.215-222.
  5. Кузьмук В.В. Модифицированные сети Петри и устройства моделирования параллельных процессов [Текст] : Монография. / Кузьмук В.В., Супруненко О.О. – К.: Маклаут, 2010. – 260 с. – Библиогр. – с. 244-251. - ISBN 978-966-2200-07-2.
  6. Jensen K. Coloured Petri Nets. Vol. 2. — Berlin a.o.: Springer, 1995.
  7. А.с. 1405070 СССР, кл.G06F 15/20. Устройство для моделирования графов Петри. [Текст]. / Васильев В.В., Кузьмук В.В., Лисицин Е.Б., Шумов В.А. (СССР) // № 4150088/24-24, заявлено 21.11.86; опубл. 23.10.1988, Бюл. № 39. – 10 с.
  8. А.с. 1432550 СССР, кл.G06F 15/20. Устройство для моделирования графов Петри. [Текст]. / Васильев В.В., Кузьмук В.В., Лисицин Е.Б., Шумов В.А. (СССР) // № 4219160/24-24, заявлено 03.04.87; опубл. 23.10.1988, Бюл. № 39. – 12 с.
  9. Захаров Н.Г., Рогов В.Н. Синтез цифровых автоматов: Учебное пособие. – Ульяновск: УлГТУ, 2003 -135 с.
  10. Кузьмук В.В. Применение модифицированных Е-сетей для построения параллельных алгоритмов. [Текст]. / Доклады АН УРСР. Сер. А: Физико-ма¬тематические и технические науки. – К.: "Наукова думка", 1985, №8, С.65-68.
  11. Кулагин В.П. Моделирование структур параллельных вычислительных систем на основе сетевых моделей: [Текст]. Учебное пособие. – М: Московский государственный институт электроники и математики (технический университет), 1998. – 102 с.
  12. Классификация сетей Петри. [Электронный ресурс]. Режим доступа: http://minska.ru/klassifikaciya-setej-petri.html. – 17.03.2011. – Загл. с экрана.
  13. WF-сети. [Электронный ресурс]. Режим доступа: http://ru.wikipedia.org/wiki WF-сети. – 15.03.2011. – Загл. с экрана.
  14. Бройнль Томас. Паралельне програмування: Початковий курс: [Текст]. / Пер. з нім. В.А. Святного. – К.: Вища школа, 1997. – 358 с.

Downloads

How to Cite

Кузьмук, В. В., Парнюк, А. М., & Супруненко, О. О. (2012). Classification of Petri nets and examples of their application for the decision of application problems. Eastern-European Journal of Enterprise Technologies, 2(9(50), 40–43. https://doi.org/10.15587/1729-4061.2011.1855

Issue

Vol. 2 No. 9(50) (2011): Information and control systems

Section

Information and controlling system

License

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

Creative Commons License

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

The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.

A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.