Какие существуют основные виды сетей Петри?

Некоторые виды сетей Петри:

• Временная сеть Петри. ru.wikipedia.org rtj.mirea.ru Переходы обладают весом, определяющим продолжительность срабатывания (задержку). ru.wikipedia.org rtj.mirea.ru
• Стохастическая сеть Петри. ru.wikipedia.org rtj.mirea.ru Задержки являются случайными величинами. ru.wikipedia.org rtj.mirea.ru
• Функциональная сеть Петри. ru.wikipedia.org rtj.mirea.ru Задержки определяются как функции некоторых аргументов, например, количества меток в каких-либо позициях, состояния некоторых переходов. ru.wikipedia.org rtj.mirea.ru
• Цветная (окрашенная, раскрашенная) сеть Петри. ru.wikipedia.org ru.ruwiki.ru Метки могут быть различных типов, обозначаемых цветами, тип метки может быть использован как аргумент в функциональных сетях. ru.wikipedia.org ru.ruwiki.ru
• Ингибиторная сеть Петри. ru.wikipedia.org rtj.mirea.ru Возможны ингибиторные дуги, запрещающие срабатывания перехода, если во входной позиции, связанной с переходом ингибиторной дугой, находится метка. ru.wikipedia.org rtj.mirea.ru
• Иерархическая сеть. ru.wikipedia.org rtj.mirea.ru Содержит не мгновенные переходы, в которые вложены другие, возможно, также иерархические, сети. ru.wikipedia.org rtj.mirea.ru Срабатывание такого перехода характеризует выполнение полного жизненного цикла вложенной сети. ru.wikipedia.org rtj.mirea.ru