Transition ( Sync ) with two input places ( A_ready, B_ready ).

Inicialmente, marcadores en (P_1), (P_2) y (P_3).

"Redes de Petri: Ejercicios Resueltos"