Consider the following Petri net with the initial state as shown in the figure. The number on the arrows indicates how many tokens have to be consumed or will be produced. Assume we start from initial state for all the questions t1 p1 -12 10 10 13 3 p2 p3 14 t5 (1) Is it possible for deadlock to occur? If yes, state the sequence of transaction that will lead to deadlock. (2 points) (2) State the shortest firing sequence to put 4 tokens in p3, and no other places contain any tokens. (2 points) (3) State the shortest firing sequence to put 4 tokens in p2, no other places contain any tokens. (2 points)