Раскрашенные сети Петри

Это графоориентированный язык для проектирования описания имитации и контроля распределенных и параллельных систем.

- Фишки представляют собой объект, который может содержать в себе один или более параметров, каждый из которых может принимать дискретный набор значений. Чтобы отличать фишки различных типов, их можно окрашивать в различные цвета.

- К позициям сети добавляется информация о типах фишек, которые могут находится в данной позиции.

- К дугам, исходящим из позиций, добавляется информация о типах фишек, которые могут участвовать в возбуждении переходов.

- К переходам может быть добавлена информация м предикатом возбуждения перехода, в зависимости от переменных, содержащихся в фишках.

- К дугам, исходящим из переходов, добавляется информация о типах фишек, исходящих из перехода и о преобразовании переменных.