Colored Petri-net (også farvet , malet ; engelsk farvet Petri-net, CP-net ) er en bagudkompatibel forlængelse af Petri-nettets matematiske formalisme , som giver dig mulighed for at skelne mellem de typer etiketter, der bruges i netværket [1] . For at gøre dette tildeles hver etiket en bestemt værdi, normalt kaldet en farve (farver bruges normalt til visualisering og for at understrege, at ingen operationer er mulige på etiketværdierne inden for rammerne af formalismen, undtagen for at kontrollere lighed) . En etiket kan ikke tildeles en ny værdi under simulering ; på samme tid, i stedet for farve, kan etiketter tildeles værdier, der har en kompleks intern struktur, det vil sige relateret til komplekse datatyper, og disse værdier kan bruges i overgangsudløserforhold.
Teorien og softwaren til at arbejde med farvede petrinet er blevet udviklet i lang tid i arbejdsgruppen for CPN-gruppen på Aarhus Universitet under ledelse af professor Kurt Jensen ( Dan. Kurt Jensen ) [2] . Ud over farvede Petri-net har gruppen udviklet flere andre varianter af Petri-net-udvidelser, og support til dem alle er implementeret i én softwarepakke - CPN-Tools, af denne grund kalder nogle forskere andre CPN Group-udviklingsformalismer for farvede Petri net.
Som en programmatisk repræsentation af farvede Petri-net, bruger denne gruppe udviklere en speciel version af ML-sproget - CPN ML, som er en udvidet version af SML/NJ [3] .