База данных статического представления сети Петри.
“Глазам мы верим больше чем ушам”. Неизвестный античный автор.
S = { SN, SM} T = { TN, TD}
S1 0 T1 10
S2 0 T2 20
S3 0
S4 0
ST = { SN, TN, TI} TS = { TN, SN, TO}
S1 T1 1 T1 S1 1
S2 T1 2 T1 S3 1
S3 T2 2 T2 S4 1
T2 S3 1
Структура каждой таблицы описывается как имя множества поименованных столбцов с указанием типа данных, общего для всего столбца. Некоторые столбцы или их подмножества - ключевые (на Рис.3.2.4 они имею жирную рамку). Значения в полях этих столбцов однозначно определяют значение кортежа, т.е. выступают как своего рода «имя из значений» конкретной строки таблицы.
Выше приводится наполнение базы данных статической сети Петри, представляющей схему сети на Рис.3.2.3. Отметим, что в базе данных все имена таблиц различные, а имена столбцов могут повторно использоваться в разных заголовках таблиц. Этим приемом мы поддерживаем связи между таблицами. Инженерный подход к организации данных “пропускает” много деталей, весьма существенных для математического описания.
Элементыи связи какобразыпроцессов.
“В чем сомневаешься, того не делай”. Неизвестный античный автор.
Пусть элементы представления предметной области связаны с объектами реального мира. Тогда в её одномоментном представлении должны отразиться как свойства элементов, так и их связи. Отметим, что связи при этом можно трактовать как объекты особого рода, заданные на «первородных» выделенных объектах. Следствие этого является факт вложенности интервалов существованния. Связь как объект существует только между существующими объектами.
Аналогично, в ординарных сетях Петри рождение или гибель элемента (места-состояния или места-перехода) происходит только с рождением или гибелью его связей. Особым случаем является «перерождение» элемента, которое допускает наследование связей от его предка частично, полностью и\или с порождением новых связей.
Напомним, что понятие элемента в динамическом представлении предметной области возникает только потому, что есть существенный и различимый процесс во времени – существование этого элемента. Элемент – всегда образ процесса, и статическое представление его в знаковой системе – только соглашение о абстрактной модели. Последнее может быть статичным, что и вносит часто путаницу с понятием элемента. Другая проблема в том, что естественный язык имеет слишком много смысловых вариантов трактовки слова «элемент». В таких случаях в системном анализе надо быть осторожными при его использовании, т.е. «в уме» поддерживать единственный нужный смысл.
Жизнь сети Петри.
“Где жизнь, там и поэзия”. Неизвестный античный автор.
Жизнь сети Петри начинается после установки (разметки) начального состояния, т.е. мгновенного поступления в места-состояния некоторого количества меток (фишек, точек – образов объектов).
На рисунках дан пример изменения состояния сети от начального состояния (в момент t=0) до прекращения активности (при t>40). На диаграммах показано, как протекали события (захват и сбрасывание меток) и изменялись состояния мест-переходов сети Петри во временных интервалах (активные места-переходы отмечены символом «*» после имени). Понятие «событие» связано с мгновенным перемещением меток по связям в некоторые моменты времени (0, 10, 20, 40).