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.