Petri net in German
Petri net in German
Petri-Netz
One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)\!, where