一个经典的Petri网由四元组(库所,变迁,输入函数,输出函数)组成 。任何图都可以映射到这样一个四元组上,反之亦然 。
被允许的形式化 变迁发生的形式化 Petri网到变迁系统的映射 可达性图
Petri 是一个三元组(P,T,F), F(P X T)U(T X P)是弧的集合
文章插图
【Petri网的定义】
推荐阅读
- 4000095555打电话给我说办招商信用卡的我跟他核实了所有我的信息会不会被敲诈?
- 核酸检测前的准备事项
- 东北的冬天是不是天黑得特别早
- 缩水的羊毛衫怎么恢复
- 木门的塑料膜怎么去除
- 粘紧的保鲜膜怎么样去除
- 头条学院的报名方法
- 新文化运动的意义是什么?
- 室内pm2.5高的原因
- 关于关爱的名言和语段