Definition of Petri net in US English:

Petri net


Computing Mathematics
  • A form of graph with directed edges and two kinds of node (one kind representing places and the other transitions, with each kind connected only to the other kind), which is used as a tool for modelling systems expressing both concurrency and sequential constraints.


1960s. From the name of Carl Adam Petri, German mathematician, who formulated the concept in 1962 + net.