Satz: für jedes
n > 0, S≥ 0
gibt es genau eine
Schrittfolge
[z1,…, zn] mit
S = zi.
Satz: für jeden Zustand jedes Zählnetzes gilt:
(es befinden sich noch D Token im Netz),
wobei
[z1,…] die
(eindeutige) Schrittfolge mit
zi =
xi
(hoher Durchsatz kleines D
gute Verteilung)