A Petri Nets-Based Approach to the Maze Problem Solving
František Čapkovič · Birkhäuser Basel eBooks · 1993
The cat-and-mouse problem formulated by Ramadge and Wonham in [1] is solved in this paper by means of Petri nets. The behaviour of the animals is expressed in the form of the abstract linear discrete dynamical systems. A simple procedure of the control synthesis is presented. It compares (step-by-step) the possibilities of the further development of the animals behaviour with a knowledge base expressing the predefined constraints imposed on their behaviour.