Redes De Petri Ejercicios — Resueltos

P1 → T1 → P2 → T2 → P4 ↘ ↘ P3 → T3 → P5 → T4 T1 fires → tokens in P2 and P3 → T2 and T3 can fire independently (in any order or simultaneously). 4. Solved Exercise 3: Mutual Exclusion (Shared Resource) Problem: Two processes (P1, P2) share a single printer. Only one can print at a time.

Sequential execution is enforced. 3. Solved Exercise 2: Concurrency (Fork) Problem: After an initialization, two independent tasks (Task X and Task Y) run in parallel. redes de petri ejercicios resueltos

Parallel processes that must exchange data or coordinate. 7. Properties to Analyze in Solved Exercises When solving Petri net exercises, always check: P1 → T1 → P2 → T2 →

P1 → T1 → P2 → T2 → P3 T1, then T2. Only one can print at a time