Redes De Petri Ejercicios Resueltos [2027]

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.

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

This report provides a structured foundation for understanding and solving Petri net exercises, with clear examples and reusable patterns. 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:

1. Introduction to Petri Nets A Petri net is a mathematical modeling language for describing distributed systems characterized by concurrency, synchronization, mutual exclusion, and resource sharing. Sequential execution is enforced

( 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.

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. Initial marking: ( M_0 = (1,1,0,0) ) This

P1 → T1 → P2 → T2 → P3 T1, then T2.