V případě Petriho sítí je okamžitý stav konstituován určitými parciálními stavy spojenými s příslušnými místy sítě. K registrování dosažení jistého parciálního stavu odpovídajícímu příslušnému místu sítě slouží značení místa.
V případě, že místo modeluje logickou podmínku, pak toto místo obsahuje značku. V případě, že příslušná podmínka neplatí, pak toto místo značku neobsahuje.
Provedením přechodu (události) se odeberou značky ze vstupních míst (přestanou platit vstupní podmínky) a vzniknou značky ve výstupních místech (začnou platit podmínky způsobené touto událostí).
Petriho sítě se budou editovat myší. Z Palety nástrojů si uživatel může vybrat nástroj, který bude používat: