一個經典的Petri網由四元組（庫所，變遷，輸入函數，輸出函數）組成 。任何圖都可以映射到這樣一個四元組上，反之亦然 。
被允許的形式化 變遷發生的形式化 Petri網到變遷系統的映射 可達性圖
Petri 是一個三元組(P,T,F)， F(P X T)U(T X P)是弧的集合
【Petri網的定義】
猜你喜歡
- 4000095555打電話給我說辦招商信用卡的我跟他核實了所有我的信息會不會被敲詐？
- 核酸檢測前的準備事項
- 東北的冬天是不是天黑得特別早
- 縮水的羊毛衫怎么恢復
- 木門的塑料膜怎么去除
- 粘緊的保鮮膜怎么樣去除
- 頭條學院的報名方法
- 新文化運動的意義是什么？
- 室內pm2.5高的原因
- 關于關愛的名言和語段