In Software Engineering Methodology: In Figure 1 :

1. What is the state of the Petri Net? 2. From the initial marking, is the choice of transitions deterministic or not? Explain in detail your answer. 3. From the initial marking, if we fire the following sequence: , what is the next state of the Petri Net? 4. From the initial marking, what happens if we try to fire the following sequence: ? 5. Give all the transitions that can be executed in parallel. 6. Does it have transitions that are in conflict? Explain in detail your answer. 7. Does it have deadlock? Explain in detail your answer. 8. Does it have starvation? Explain in detail your answer.

p3 t2 t4 p2 p5 p4 Figure 1 p3 t2 t4 p2 p5 p4 Figure 1