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

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

2. Научиться составлять формальное описание PN.

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

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

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

1. Изучить теоретический материал по пособию, лекциям или другим источникам.

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

3. Для заданного варианта задания:

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

2) Для начальной маркировки PN, указанной в таблице, составить дерево разметок на глубину до 5 шагов или до общего числа маркировок, равного 100. При обнаружении повторяющихся маркировок они помечаются значками Mpi, где i - номер обнаруженной повторяющейся маркировки, а построение дерева продолжается только из одной из них. Циклические маркировки, т.е. повторяющиеся на одном пути в дереве, обозначаются Mci. Тупиковые маркировки обозначаются Mti.

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

4) Оценить свойства PN: ограниченность, консервативность, безопасность, живость.