Всякие сети Петри
Базовая сеть Петри - граф, состоящий из чередующихся узлов и переходов. В каждом узле может содержаться от 0 до бесконечности фишек. Переход возможен, если у всех входных узлов есть достаточное количество фишек. Переход считается атомарной операцией.
С помощью сети Петри можно симулировать такие вещи как:
- всякие примитивы синхронизации - семафоры, мьютексы и так далее.
- логические булевы операции.
Для моделирования сетей можно использовать следующую программу: http://pipe2.sourceforge.net/
Сеть состоит из следующих частей:
- список узлов. содержать фишки.
- список переходов. фишки не содержат, но описывают откуда и куда они идут. -- входные и выходные связи.
Каждый переход имеет несколько входных связей и выходных (несколько это в том числе 0). Все связи входные отходят от узла и заканчиваются переходом, а выходные идут от перехода к узлу.
Каждая связь может иметь не единичную кратность, а большую, к примеру требуется 3 фишки, чтобы совершить переход.
Связей между переходом и переходом быть напрямую не может, также как и связь между узлом и узлом.
Для визуализации можно добавить во все эти элементы различные украшения - цветные фишки (может быть полезно и для визуализации, и для логики), цветные узлы и переходы, координаты рисования узлов на экране и так далее.