In this question, you are given a Petri net system (below) and you are asked to make changes to its behavior by adding structure to it. It models two processes P and Q that provide some service to inputs (i.e., tokens in Input Requests place). At present, the inputs are randomly assigned one of the two processes P or Q provided both are available for the input. You are now asked to modify this: The modified system should give priority to P Process part of the system when there are input requests to be processed. The following is the explanation for this behavior: The system should be modified in such a manner that when there is a token in place 'Input Requests', and both 'P Available' and 'Q Available' places also have a token in each, then only the transition TO should be enabled and T1 should remain disabled. The transition T1 only gets enabled when 'P Available' is empty and there is a token in 'Input Requests' and 'Q Available' also has a token. Input Requests P Available T1 1 Q Available P Process P4 P3 1 Q Process T2 t T3 P Processed Request Q Processed Request You may make changes to the diagram above to develop your solution, or you may use the space below to draw a new structure.