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. Do you have transitions that are in conflict? Explain in detail your answer.

7. Do you have deadlock? Explain in detail your answer.

8. Do you have starvation? Explain in detail your answer.

p3 10 t2 t4 p2 pSp4 Figure 1