Supervisory controller design for timed Petri nets

A method, called "stretching", is introduced to represent timed Petri nets. Using this method, a new Petri net, called "stretched Petri net", which has only unit delays, is obtained to represent a timed-transition Petri net. Using this net, the state of the original timed Petri net can be represented easily. This representation also makes it easy to design a supervisory controller for a timed Petri net for any purpose. In this paper, supervisory controller design to avoid deadlock is considered in particular. Using this method, a controller is first designed for the stretched Petri net. Then, using this controller, a controller for the original timed Petri net is obtained. Algorithms to construct the reachability sets of the stretched and original timed Petri nets, as well as algorithms to obtain the controller for the original timed Petri net are presented. These algorithms are implemented using MATLAB. An example is also presented to illustrate the introduced approach