Abstract: Defines a be of extended Petri nets with inhibitor and permissive arcs, and its firing rules of transitions are defined.Three signal matrices are constructed, and the incidence matrix and state equation are given. The mehtod of analysis and heuristic algorithm are developed. The design method is proposed according to token flows which represent the desired dynamic behaviors of the system controlled. The designed controller is analyzed and verified, and an example is finally given to show that the above approach is useful for the design and analysis of controllers.