please show your works step by step. Thank you

PROBLEM 5.2. Consider the Petri net system in figure below. 1. Formalize this net as a quadruplet (P, T, F, M). 2. Give the preset and the postset of each transition. 3. Which transitions are enabled at M? p2 t2 p3 0-0 p1 t1 p4 t3 A Petri net with 3 transitions Figure 5.17: A Petri net with small numbers of places and transitions 4. Give all reachable markings. What are the reachable terminal markings? 5. Is there a reachable marking in which we have a nondeterministic choice? 6. Does the number of reachable markings increase or decrease if we remove (1) place pl and its adjacent arcs and (2) place p3 and its adjacent arcs? PROBLEM 5.2. Consider the Petri net system in figure below. 1. Formalize this net as a quadruplet (P, T, F, M). 2. Give the preset and the postset of each transition. 3. Which transitions are enabled at M? p2 t2 p3 0-0 p1 t1 p4 t3 A Petri net with 3 transitions Figure 5.17: A Petri net with small numbers of places and transitions 4. Give all reachable markings. What are the reachable terminal markings? 5. Is there a reachable marking in which we have a nondeterministic choice? 6. Does the number of reachable markings increase or decrease if we remove (1) place pl and its adjacent arcs and (2) place p3 and its adjacent arcs