Modeling and Analysis for Tracing System of Agricultural Products Based on Colored Petri Net

The tracing system of agricultural products plays a role in guaranteeing their quality and safety. It has multiple modules to accomplish traceability. Its reliability is the premise to ensure the normal operation of the tracing system. Because the modules of the system run concurrently with each other, the unverified system cannot guarantee the rationality of the design for the relationship among the modules, such as the hierarchy of the system modules and the concurrent coupling of the modules when the system runs, which is one of the reasons leading to the reliability problem of the system. Color Petri net is a kind of improved Petri net tools. This paper analyzes the operation of the modules of agricultural product traceability system. It uses colored Petri net of agricultural products tracing system for modeling, and uses the hierarchical petri net to design the method of reducing the size of the model to ensuring that the system module design of the border. with a color set represents the transmission of information between different modules. Finally, CPN Tools are used to verify the model. The results shows that this model detection method can ensure the reliability of the tracing system of agricultural products.