A Um caminho deve iniciar e terminar por um lugar.
B Um arco pode conectar uma transição a um lugar.
C Um arco pode conectar um lugar a uma transição.
D Uma transição dispara quando alguma de suas entradas possui uma marcação (token).
E Quando uma transição dispara, ela consome uma marcação (token) de cada uma das suas entradas e gera uma para cada saída.