Раскрашенные сети Петри сохраняют полезные свойства сетей Петри и в то же время расширяют исходный формализм, позволяя различать фишки. [1]
Цветные сети Петри позволяют прикреплять к токенам значение данных. Это присоединенное значение данных называется цветом токена . Хотя цвет может быть сколь угодно сложного типа, места в раскрашенных сетях Петри обычно содержат фишки одного типа. Этот тип называется набором цветов места.
В цветных сетях Петри множества позиций, переходов и дуг попарно не пересекаются P ∩ T = P ∩ A = T ∩ A = ∅
Использование функции узла и функции выражения дуги позволяет нескольким дугам соединять одну и ту же пару узлов с разными выражениями дуги.