Spezifikation für Zählnetze

korrekte Behandlung der Token:

• Netzwerk mit n Eingängen, n Ausgängen, Tiefe d
• jedes Token, das einen Eingang betritt, verläßt das Netzwerk nach ≤d Schritten an einem Ausgang

  (das Netzwerk vergißt und erfindet keine Token)

gute Verteilung der Token:

• (informal) bei beliebiger Verteilung der Token auf die Eingänge: jeder Ausgang wird (etwa) gleich oft benutzt.
• (formal) betrachte Anzahlen [x₁,…, x_n] der Token je Eingang, Anzahlen [y₁,…, y_n] der Token je Ausgang;

  im Ruhezustand ($\sum_{{i=1}}^{n}$x_i = $\sum_{{i=1}}^{n}$y_i) soll gelten:

  [y₁,…, y_n] ist Schrittfolge: y₁≥…≥y_n≥y₁ - 1