顏色匹特里網

顏色匹特里網（color Petri net）一類特殊的匹特里網.即具有以顏色區分的多種托肯的匹特里網，由詹森（Jensen,K.）於1981年提出.它在原有基網的基礎上賦予以下新內容:定義色函式c: PUT-顏色集的冪集合，使得對所有tET,C（t）為t上所有可能的出現顏色之集合;對所有pEP,C（p）為位置p中所有可能的托肯顏色之集合..同一位置可包含多個不同顏色托肯的匹特里網，匹特里網中的托肯根據其作用分類，同類的托肯用同一顏色表示..每個變遷上標明所有可能的轉換所改變的托肯的顏色及其個數..根據變遷上的規定決定在變遷發生時各位置失去或得到的托肯的顏色及數量.. M。是其初始標識（狀態），使得`dpEP, Mo（p）是p的托肯匹特里網的色集合上的多重集。

1. .