Q3 - Petri Net Figure 5 below shows two Petri nets A and B. Figure 5: Q3 Petri Nets Show that the Petri Net (a) is unbounded. Show the pattern of markings that will cause the Net to go out of bound. Use the matrix form to show the marking after 10 repeats of this pattern are triggered Show that the Petri Net (b) is not live. Provide the sequence of transitions that causes the deadlock Use the matrix form to show the marking when the Net is deadlocked 1. 2. 3. Bonus Can you find a matrix formula to show that the Petri Net is deadlocked? Q3 - Petri Net Figure 5 below shows two Petri nets A and B. Figure 5: Q3 Petri Nets Show that the Petri Net (a) is unbounded. Show the pattern of markings that will cause the Net to go out of bound. Use the matrix form to show the marking after 10 repeats of this pattern are triggered Show that the Petri Net (b) is not live. Provide the sequence of transitions that causes the deadlock Use the matrix form to show the marking when the Net is deadlocked 1. 2. 3. Bonus Can you find a matrix formula to show that the Petri Net is deadlocked