1. Show that the modification of the PN of Figure 5.22 given in Figure 5.23 is live. How do you interpret the modification introduced? 2. Consider the PN of Figure 5.24. Clearly, this PN is live. The activity modeled by transitions t2 and t4, however, can go into starvation. In fact, the net could reach a marking from which the two transitions can never be enabled. Comment briefly on the difference between this type of starvation and the one illustrated before.