Redes De Petri Ejercicios Resueltos Extra Quality Jun 2026

T1 fires → tokens in P2 and P3 → T2 and T3 can fire independently (in any order or simultaneously).

After an initialization, two independent tasks (Task X and Task Y) run in parallel. redes de petri ejercicios resueltos

Initial marking: ( M_0 = (1,0,0) )

Two processes (P1, P2) share a single printer. Only one can print at a time. T1 fires → tokens in P2 and P3

A transition ( t ) is enabled if each input place ( p ) has at least ( W(p,t) ) tokens. When fired, it removes ( W(p,t) ) tokens from each input place ( p ) and adds ( W(t,p') ) tokens to each output place ( p' ). 0) ) Two processes (P1