Redes de Petri Estocasticas

Semantica de servidor multiple
Los conjuntos de tokens que producen la habilitación de
la transición se procesan simultaneamente hasta un grado
maximo de paralelismo (por ejemplo K)
Para valores mayores del grado de habilitación, los relojes
asociados a tokens que habilitan la transición se inician
solo cuando el numero de relojes funcionando es menor
que K.