In Figure 1: 1. What is the state of the Petri Net? 2. From the initial marking,
ID: 3606255 • Letter: I
Question
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 1Explanation / Answer
The reachability graph of N is the transition relation restricted to its reachable markings . It is the statespace of the net. A firing sequence for a Petri netwith graph G and initial marking is a sequence of transitions such that .
Related Questions
drjack9650@gmail.com
Navigate
Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.