A színes Petri háló (szintén színes , festett ; angol colored Petri net, CP-net ) a Petri háló matematikai formalizmusának visszafelé kompatibilis kiterjesztése , amely lehetővé teszi a hálózatban használt címketípusok megkülönböztetését [1] . Ehhez minden címkéhez hozzárendelnek egy bizonyos értéket, amelyet általában színnek neveznek (a színeket általában a vizualizáció megkönnyítésére és annak hangsúlyozására használják, hogy a formalizmus keretein belül semmilyen művelet nem lehetséges a címkeértékekkel, kivéve az egyenlőség ellenőrzését) . Egy címkéhez nem lehet új értéket rendelni a szimuláció során ; ugyanakkor a címkékhez szín helyett olyan értékeket lehet hozzárendelni, amelyek összetett belső szerkezettel rendelkeznek, azaz összetett adattípusokhoz kapcsolódnak, és ezek az értékek átmeneti trigger feltételek mellett használhatók.
A színes Petri-hálókkal való munka elméletét és szoftverét hosszú ideje fejlesztették az Aarhusi Egyetem CPN Csoportjának munkacsoportjában Kurt Jensen professzor ( Dan. Kurt Jensen ) [2] vezetésével . A színes Petri hálókon kívül a csoport a Petri háló bővítmények számos más változatát is kifejlesztette, és mindegyik támogatása egy szoftvercsomagban - CPN-Tools -ban valósul meg, emiatt egyes kutatók a CPN csoport többi fejlesztési formalizmusát színes Petri-nek nevezik. hálók.
A színes Petri-hálók programozott ábrázolásaként ez a fejlesztői csoport az ML nyelv egy speciális változatát – a CPN ML-t – használja, amely az SML/NJ kiterjesztett változata [3] .