Construction of Internet Behavior Model for Textile Industry Based on Colored Petri Nets

Abstract

Abstract The construction and development of the Industrial Internet provide guidelines and directions for the transformation and upgrading of the current manufacturing industry. Its main behavioral characteristic is the optimization of resource optimization, thus capturing more and more attention. Analysis of the dynamic characteristics of the Internet operation behavior of the textile industry is the key to improving the efficiency of the optimization of resource optimization. Based on colored Petri nets, we have established a behavior model for the textile industry Internet and analyzed its behavior in response to this problem. And based on the state space report of CPN Tools, the correctness of the model is verified by the branch temporal logic ASK-CTL formula and the non-standard state space query method. The accurate behavior model provides a basis for improving resource allocation efficiency in the textile industry.