Design and draw a state transition diagram of the system considering four agents mentioned above. note that this diagram would be a high-level diagram and not considering NuSMV’s low level diagram (as it would be very complicated); Task 2: In your NuSMV model (code using the SMV language) all the agents should work concurrently, and […]