In this project we are dealing with the “Cat and Mouse” problem. Consider the house layout in below Figure , that contains four rooms 1, 2, 3, 4. Owner has a pet cat and pet mouse. Cat and the mouse could move following the directions of the arrows in the house (Red for the cat, Purple for the mouse). Now suppose that initially the cat is in Room 1 and mouse is in the Room 4.
You are asked to
1. Build the Petri net model for the movement of a cat;
2. Build the Petri net model for the movement of a mouse;
3. Design the Petri net controller to guarantee that a cat and mouse can never be in the same room.
4. Write the computer program (preferably in Matlab or C) to compute all possible reachable states of the Controlled Petri net.