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.
( 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.
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
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) )
P1 → T1 → P2 → T2 → P3 T1, then T2.