Se puede definir una variante de las redes de Petri en las cuales las marcas pueden tener un "color" (una información que las distingue), un tiempo de activación y una jerarquía en la red.