A novel matrix approach for the stability and stabilization analysis of colored Petri nets

In this study, the stability and stabilization problem of a colored Petri net based on the semitensor product of matrices is investigated. First, the marking evolution equation of the colored Petri net in a Boolean algebra framework is established, and the necessary and sufficient condition for the stability of the equilibrium point of the colored Petri net is given. Then, the concept of the pre-k steps reachability set is defined and is used to study the problem of marking feedback stabilization. Some properties of the pre-k steps reachability set are developed. The condition of the stabilization of the colored Petri net is given. The algorithm of the optimal marking feedback controller is designed. The proposed method in this paper could judge the stability and stabilization of the colored Petri net by matrix approach. The obtained results are simple and easy to implement by computer. An example is provided to illustrate the effectiveness of the proposed method.