petri net

listen to the pronunciation of petri net
İngilizce - İngilizce
One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)\!, where

W : F \to \mathbb{N^+} is a set of arc weights, which assigns to each arc f \in F some n \in \mathbb{N^+} denoting how many tokens are consumed from a place by a transition, or alternatively, how many tokens are produced by a transition and put into each place.

petri net