A directed graph, in which there are two types of nodes, one represents position with circle, another represents transition with square. It is also known as Petri net.

• 一种有向图,其中有两类结点,一种用圆表示位置,另一种用正方形表示迁移。位置迁移网也称为Petri网。