请问Petri网里面，P\T是什么意思，具体表示什么？

问题描述：

请问Petri网里面，P\T是什么意思，具体表示什么？文中有这样一段介绍，Let Lx and Ly be patterns of subnetsin a labelled net. Lx ∪ Ly and Lx ∩ Ly denote the union and intersection of Lx and Ly, respectively. Lx \Ly denotes the displacement of Lx from Ly.

问题解答：

一个经典的Petri网由四元组（库所，变迁，输入函数，输出函数）组成。 任何图都可以映射到这样一个四元组上，反之亦然。

被允许的形式化 变迁发生的形式化 Petri网到变迁系统的映射 可达性图

Petri 是一个三元组(P,T,F) F(P X T)U(T X P)是弧的集合

Petri网的元素：

库所（Place）圆形节点
变迁（Transition）方形节点
有向弧（Connection）是库所和变迁之间的有向弧
令牌（Token）是库所中的动态对象，可以从一个库所移动到另一个库所。
Petri网的规则是：

有向弧是有方向的
两个库所或变迁之间不允许有弧
库所可以拥有任意数量的令牌