Petri网的定义

一个经典的Petri网由四元组(库所,变迁,输入函数,输出函数)组成 。任何图都可以映射到这样一个四元组上,反之亦然 。
被允许的形式化 变迁发生的形式化 Petri网到变迁系统的映射 可达性图
Petri 是一个三元组(P,T,F), F(P X T)U(T X P)是弧的集合

Petri网的定义

文章插图
【Petri网的定义】

    推荐阅读