首先，token值是變遷的內部的，當變遷點火觸發的時候token才會在網絡中移動。在顏色Petri網中token是有區分的。
1、我么現在舉一個學生吃餅的例子 ，顏色這樣定義。 s表示一個學生類型， p表示一個餅 類型。 在定義弧上的變量 ，定義x 為學生類型， 定義 y為 餅類型。
現在我們假設最初的初始狀態是，有五個餅子，有三個學生，每個學生吃一個餅就吃飽了。現在建模分析。見下圖
colset s=unit with student;
colset p=unit with pasty;
var x:s;
var y:p;
現在點擊快速執行步驟顯示每個執行步驟達到的狀態，從中我們可以看到，餅與學生之間的轉換關系，每個狀態執行狀態如下圖
圖 2 一個學生吃了一個餅 ，吃飽了一個學生，還剩4個餅子，2個學生挨餓
圖 3 兩個學生吃了 兩塊餅，兩個學生吃飽了，還有一個學生挨餓，剩下三塊餅
圖 4 三個學生吃了三塊餅子，三個學生吃飽了，還剩兩塊餅。 這個狀態也是最終狀態。（終止）
2、模型的狀態空間分析，具體的數據，弧，節點，死變遷，綁定的值得上下限都有說明。
