Abstract: For gas cylinders and other typical special equipment, the quality and safety traceability involves many links; the collection workload of traceability information is heavy; dynamic changes occur in the process with the use of special equipment. Aiming at such problems and based on the analysis of gas cylinder quality and safety traceability system architecture and traceability business process, this paper studied and established the Petri net model for quality safety traceability of gas cylinder and other special equipment. Meanwhile, the Petri net simulation tool PIPE is used to simulate and verify the model performances such as the boundedness, safety, accessibility and activity and so forth. The results proved the reliability, reasonability and robustness of the model system. This can provide an effective way to build and optimize the quality traceability system of special equipment.

Key words: gas cylinder, quality and safety traceability, Petri net, simulation