Redes de Petri Estocasticas

Transiciones con tiempo (TTPN)
Las transiciones con tiempo permiten diferentes
políticas de disparo:
•Disparo en tres fases
•Los tokens se eliminan de los lugares de entrada cuando
se habilita la transición
•Se espera un tiempo
•Los tokens se generan en los lugares de destino
•Disparo atómico
•Los tokens permanecen en los lugares de entrada hasta
que la transición dispara.
•Se eliminan de los lugares de entrada y se crean en los
lugares de destino cuando la transición dispara.