Warning: session_start(): open(C:\Windows\temp\sess_17n2h60qgl2teti9fn6epau1b1, O_RDWR) failed: No space left on device (28) in C:\www\lemma4.1php\login.php on line 15 Warning: session_commit(): open(C:\Windows\temp\sess_17n2h60qgl2teti9fn6epau1b1, O_RDWR) failed: No space left on device (28) in C:\www\lemma4.1php\login.php on line 36 Warning: session_commit(): Failed to write session data (files). Please verify that the current setting of session.save_path is correct (C:\Windows\temp) in C:\www\lemma4.1php\login.php on line 36 Сети Петри: модификации и расширения

В данном пункте рассматривается наиболее простой вариант модели сетей Петри — элементарные сетевые системы (ЭСС) [18, 21]. При этом основная цель состоит в том, чтобы, используя структурную модель ЭСС, сформулировать базовые аспекты, связанные с поведением моделируемой системы. В частности, рассматриваются такие фундаментальные понятия, как отношения причинной зависимости, параллелизма, конфликта  (недетерминированного выборa), конфузии  между событиями систем, что в последствии приведет к ряду структурных подклассов сетей Петри, которые, как оказывается, в ряде случаев больше подходят для изучения поведения параллельных и распределенных систем.

В теории параллельных систем и процессов важно выбрать способ для представления таких основополагающих понятий, как состояния моделируемой системы и смены состояний (переходы из одних состояний в другие). Теория ЭСС трактует эти понятия следующим образом:

  • состояние и смена состояний — различные, хотя и взаимодополняющие друг друга, сущности;
  • и состояния, и смены состояний имеют распределенную природу;
  • смена состояний может происходить только при выполнении определенных условий;
  • смена состояний фиксируется.

В теории ЭСС на базовом уровне описания реальных систем рассматриваются множество атомарных состояний, называемых условиями,  (обозначается B), и множество атомарных смен состояний, называемых событиями,  (обозначается E). Требуя, чтобы пересечение множеств условий и событий было пустым, т.е. BE=, получаем, что состояния и смены состояний являются различными сущностями. Состояние  определяется как множество условий, одновременно выполненных в некоторый момент времени. Смена состояний определяется реализацией множества независимых событий (событий, которые могут произойти одновременно), называемого шагом. Таким образом, отношение смены состояний  специфицирует, как состояния трансформируются в другие состояния посредством реализации шагов. Тогда возникает два вопроса:

  1. Когда шаг может произойти в некотором состоянии?
  2. Каково результирующее состояние после реализации шага?

Теория ЭСС дает ответы на данные вопросы посредством постулирования фиксированного отношения инцидентности  (обозначается F) между условиями и событиями, что приводит к "структурному" отношению инцидентности, связывающему состояния с состояниями через шаги. Таким образом, система может быть специфицирована сетью, состоящей из условий, событий и отношения инцидентности между ними, и начальным состоянием (обозначается cin).