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

Authors

  • Валерий Валентинович Кузьмук Черкасский национальный университет имени Богдана Хмельницкого Бульв. Шевченко, 79, г. Черкассы, Украина, 18006, Ukraine
  • Оксана Александровна Супруненко Черкасский национальный университет имени Богдана Хмельницкого Бульв. Шевченко, 79, г. Черкассы, Украина, 18006, Ukraine

DOI:

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

Keywords:

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

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

Author Biographies

Валерий Валентинович Кузьмук, Черкасский национальный университет имени Богдана Хмельницкого Бульв. Шевченко, 79, г. Черкассы, Украина, 18006

Доктор технических наук, профессор

Заведующий кафедрой программного обеспечения автоматизированных систем

Оксана Александровна Супруненко, Черкасский национальный университет имени Богдана Хмельницкого Бульв. Шевченко, 79, г. Черкассы, Украина, 18006

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

References

  1. Кузьмук В.В., Супруненко О.О. Модифицированные сети Петри и устройства моделирования параллельных процессов: Монография. – К.: Маклаут, 2010. – 260 с.
  2. Карпов Ю.Г. Model Checking. Верификация параллельных и распределённых программных систем. – СПб.: БХВ-Петербург, 2010. – 560 с.
  3. Petri C.A. Kommunikatoin mit Automaten. – Bonn: Institut für Instrumentelle Mathematik, 1962. – 89 S.
  4. W. Reisig. Petrinetze. Vieveg+Teubner Verlag, Wiesbaden GmBH, 2010, - 247S.
  5. Бройнль Томас. Паралельне програмування: Початковий курс: / Пер. з нім. В.А. Святного. – К.: Вища школа, 1997. – 358 с.
  6. Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация, применение. – СПб: БВХ - Петербург, 2003. – 1104 с.

Downloads

Published

2010-12-01

How to Cite

Кузьмук, В. В., & Супруненко, О. А. (2010). Модифіковані мережі Петрі (Petri netze) для формування паралельних процесів у системах управління. Eastern-European Journal of Enterprise Technologies, 6(8(48), 50–53. https://doi.org/10.15587/1729-4061.2010.5770

Issue

Vol. 6 No. 8(48) (2010): Information and controlling system

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.