( Sync ) enabled only when both ( A_ready ) and ( B_ready ) have a token. Firing removes both and puts token in ( A_done ) and ( B_done ) simultaneously.
Initial marking: ( M_0 = (1,1,0,0) )
P1 → T1 → P2 → T2 → P3 T1, then T2. redes de petri ejercicios resueltos
This report provides a structured foundation for understanding and solving Petri net exercises, with clear examples and reusable patterns. ( Sync ) enabled only when both (
