計時事件圖

計時事件圖(timed event graph)一類常用的匹特里網.其形式定義為:

1.每個位置p只有一個前置變遷和後續變遷.

2.各弧權均為1.

3.位置容量不限.

4.每個位置p具有(非負整數)時延‘，令牌在p 中產生後，需經t時後才可使用.

5.啟動後每個初始令牌可隨時使用.

6.變遷不占用時間. 這種匹特里網沒有競爭和選擇問題，並可方便地用雙子代數來描述和研究(參見“雙子代數”).