Barevná Petriho síť (též barevná , malovaná ; anglická barevná Petriho síť, CP-net ) je zpětně kompatibilní rozšíření matematického formalismu Petriho sítě , které umožňuje rozlišovat mezi typy štítků používaných v síti [1] . Za tímto účelem je každému štítku přiřazena určitá hodnota, obvykle nazývaná barva (barvy se obvykle používají pro usnadnění vizualizace a pro zdůraznění toho, že s hodnotami štítku nejsou v rámci formalismu možné žádné operace, kromě kontroly rovnosti) . Během simulace nelze štítku přiřadit novou hodnotu ; zároveň místo barvy lze štítkům přiřadit hodnoty, které mají složitou vnitřní strukturu, to znamená související s komplexními datovými typy, a tyto hodnoty lze použít v podmínkách spouštění přechodu.
Teorie a software pro práci s barevnými Petriho sítěmi byly dlouhodobě vyvíjeny v pracovní skupině CPN Group of Aarhus University pod vedením profesora Kurta Jensena ( Dan. Kurt Jensen ) [2] . Kromě barevných Petriho sítí skupina vyvinula několik dalších variant rozšíření Petriho sítí a podpora všech z nich je implementována v jednom softwarovém balíčku - CPN-Tools, z tohoto důvodu někteří výzkumníci nazývají další vývojové formalismy CPN Group barevnými Petriho sítě.
Jako programovou reprezentaci barevných Petriho sítí využívá tato skupina vývojářů speciální verzi jazyka ML - CPN ML, což je rozšířená verze SML / NJ [3] .