Elementos de la red de Petri