Титул
Введение
Сеть Петри
Маркированная сеть Петри
Переходы
Пример(1)
Пример(2)
Заключение
Правило срабатывания переходов
Текущее состояние системы определяет маркировка сети Петри, т.е. расположение меток в местах сети. Выполнение действия в системе, в сетях Петри определяется как срабатывание переходов. Срабатывание переходов порождает новую маркировку, т.е. порождает новое размещение меток в сети.
Такой вид примет сеть с предыдущего слайда при срабатывании переходов:
Петрозаводск - 2005