О структурних элементах компонентной сети Петри

E.A. Lukyanova

Abstract


Рассмотрены вопросы конструирования и работы структурных элементов компонентной сети Петри (CN-сети). Такими структурными элементами являются составные компоненты: компоненты-места и компоненты переходы. От эффективного выделения составных компонент зависит размер модели реальной системы и время на ее верификацию.
The problems of designing and work of structural elements of a component Petri net (CN-net) are considered. Such elements are composite components: components-places and components passages. The size of model of real system and time for it`s verification depends on effective allocation of composite components.


Keywords


сети Петри

References


Котов В.Е. Сети Петри. – М.: Наука, 1984. – 157 с.

Котов В.Е. Алгебра регулярних сетей Петри // Кибернентика. – 1980. – № 5. – С. 10–18.

Лук`янова О.О. Про компонентне моделювання систем з паралелізмом // Наукові записки НаУКМА. Комп’ютерні науки. – 2012. – Т. 121

Лукьянова Е.А. О компонентном анализе параллельных распределенных систем // ТВИМ. – 2011. – № 2. – С. 71–81.

Murata T. Petri Nets: Properties, Analysis and Applications. in "Proceedings of the IEEE". –1989. – Vol. 77, N 4. – P. 541–580.

Крывый С.Л. О некоторых методах решения и критериях совместности линейных диофантовых уравнений в области натуральных чисел // Кибернетика и системный анализ. – 1999. – № 4. – С. 12–36.

Крывый С.Л. О вычислении минимального множества инвариантов сетей Петри // Штучний інтелект. – 2001. – № 3. – С. 199–206.


Refbacks

  • There are currently no refbacks.