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.
P1 → T1 → P2 → T2 → P3 T1, then T2. redes de petri ejercicios resueltos
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. 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. ( Sync ) enabled only when both (
Parallel processes that must exchange data or coordinate. 7. Properties to Analyze in Solved Exercises When solving Petri net exercises, always check:
This report provides a structured foundation for understanding and solving Petri net exercises, with clear examples and reusable patterns.