Initial marking: ( M_0 = (1,0,0,0,0) )
Transition ( Sync ) with two input places ( A_ready, B_ready ). redes de petri ejercicios resueltos