Färgat Petri-nät (även färgat , målat ; engelskt färgat Petri-nät, CP-net ) är en bakåtkompatibel förlängning av Petri-nätets matematiska formalism , som låter dig skilja mellan de typer av etiketter som används i nätverket [1] . För att göra detta tilldelas varje etikett ett visst värde, vanligtvis kallat en färg (färger används vanligtvis för visualiseringsbekvämlighet och för att betona att inga operationer är möjliga på etikettvärdena inom ramen för formalismen, förutom för att kontrollera jämlikhet) . En etikett kan inte tilldelas ett nytt värde under simulering ; samtidigt, istället för färg, kan etiketter tilldelas värden som har en komplex intern struktur, det vill säga relaterade till komplexa datatyper, och dessa värden kan användas i övergångstriggerförhållanden.
Teorin och mjukvaran för att arbeta med färgade petrinät har utvecklats under lång tid i arbetsgruppen för CPN-gruppen vid Aarhus Universitet under ledning av professor Kurt Jensen ( Dan. Kurt Jensen ) [2] . Utöver färgade Petri-nät har gruppen utvecklat flera andra varianter av Petri-nät-tillägg, och stöd för dem alla implementeras i ett mjukvarupaket - CPN-Tools, av denna anledning kallar vissa forskare andra CPN Group-utvecklingsformalismer för färgade Petri nät.
Som en programmatisk representation av färgade Petri-nät använder denna grupp av utvecklare en speciell version av ML-språket - CPN ML, som är en utökad version av SML / NJ [3] .