Definition of Petri net in English:

Petri net

noun

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.

Origin

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

Pronunciation

Petri net

/ˈpɛtrɪ ˌnɛt//ˈpiːtrɪ ˌnɛt/