Modeling and analysis of colored petri net based on the semi-tensor product of matrices

Abstract

This paper applies the model petri net method based on the semi-tensor product of matrices to colored petri net. Firstly, we establish the marking evolution equation for colored petri net by using the semitensor product of matrices. Then we define the concept of controllability and the control-marking adjacency matrix for colored petri net. Based on the marking evolution equation and control-marking adjacency matrix, we give the necessary and sufficient condition of reachability and controllability for colored petri net. The algorithm to verify the reachability of colored petri net is given, and we analyze the computational complexity of the algorithm. Finally, an example is given to illustrate the effectiveness of the proposed theory. The significance of the paper lies in the application of the model petri net method based on the semitensor product of matrices to colored petri net. This is a convenient way of verifying whether one marking is reachable from another one as well as finding all firing sequences between any two reachable markings. Additionally, the method lays the foundations for the analysis of other properties of colored petri net.

RETRACTED ARTICLE: Image processing algorithm of Hartmann method aberration automatic measurement system with tensor product model

“…However, in remote sensing images, the information contained in different bands is not completely the same. Therefore, using the completely average method to calculate the structure tensor will amplify some information and reduce the effect of other information [16]. Taking a hyperspectral image of the University of Pavia as an example, the grayscale image of any one of the bands is shown in Fig.…”

Further results on dynamic-algebraic Boolean control networks

“…Semi-tensor product (STP), presented by Cheng, provides a systematic tool to analyze BNs [6,7]. Besides, it is applied in other fields [8]. Boolean control networks (BCNs) arise when we introduce controls (inputs) to BNs.…”

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

“…We call a transition and a binding for all variables a control quantity. In order to obtain a better understanding of how a colored Petri net runs, please refer to example 1 in [10], which is a colored Petri net about dining philosophers.…”

“…Giua and Seatzu [9] presented control problems of ordinary Petri nets, which also exist in the colored Petri net. Zhao et al [10] modeled the colored Petri net by using an algebraic method and studied its reachability and controllability, but so far there are no related studies on other control issues, such as stability, stabilization, and observability.…”