壹個流程的狀態是由在場所中的令牌建模的，狀態的變遷是由變遷建模的。令牌表示事物（人，貨物，機器），信息，條件，或對象的狀態； 庫所代表庫所，通道或地理位置；變遷代表事件，轉化或傳輸。
壹個流程有當前狀態，可達狀態，不可達狀態。終止狀態。