hab ich das richtig verstanden: Man kann zwar nicht direkt einen Null-Test implementieren, aber mit hilfe einer geeigneter Konstruktion, führt jeder falsche Nulltest dazu , dass die leere Markierung nicht mehr erreichbar ist

und wie kann man nun die e-Variable in gefärbten Netzen mit einer Zählstelle realisieren (laut Skript s. 69)?!