Моделирование систем с помощью обыкновенных сетей Петри

Цели работы:

1. Освоить основные формализмы обыкновенных сетей Петри (PN);

2. Научиться составлять формальное описание PN, определять инварианты позиций и инварианты переходов;

3. Разработать программу моделирования динамики маркировок и составления слов свободного языка обыкновенных сетей Петри;

4. Провести исследования заданной сети с помощью разработанной программы.

Содержание работы:

1. изучить теоретический материал по учебнику (п. 2.1) или лекциям; получить свой вариант задания;

2. составить программу, моделирующую изменение маркировок и построение свободного языка обыкновенной сети Петри;

3. для заданного варианта задания выполнить следующую работу;

- составить список позиций и переходов, матрицы инцидентности F^p и F^t и начальную маркировку для указанного варианта схемы СП;

• составить матрицу V = (F^t)^t -F^p и найти как минимум по одному инварианту позиций и переходов;

• для начальной маркировки PN, указанной в таблице, с помощью разработанной программы составить дерево ' маркировок на глубину до 5 шагов или до общего числа маркировок, равного 100. При обнаружении повторяющихся маркировок они помечаются значками Мрi, где i – номер обнаруженной повторяющейся маркировки, а построение дерева продолжается только из одной из них. Циклические маркировки, т.е. повторяющиеся на одном пути в дереве обозначаются Mci. Тупиковые маркировки обозначаются М_ti

•выписать все полученныеслова свободного языка PN начиная с пустого слова. Аналогично п.2 указать повторения циклы и тупики;

• оценить свойства PN: ограниченность, консервативность безопасность, живость. Проверить соблюдение инвариантов позиций и переходов, найденных в п. 2.