一种气瓶质量安全追溯系统、终端及可读存储介质

摘要

本发明提供一种气瓶质量安全追溯系统、终端及可读存储介质，本发明中的第一气瓶数据处理模块、第二气瓶数据处理模块以及第N气瓶数据处理模块分别与气瓶质量安全追溯模块连接，将气瓶数据信息上传气瓶质量安全追溯模块。气瓶质量安全追溯模块针对气瓶质量安全追溯的数据需要，基于数据流与信息流融合的思路，构建了气瓶制造环节内部追溯Petri网模型、气瓶全过程管理外部追溯Petri网模型，内部追溯主要面向制造环节，对制造企业内部涉及气瓶质量安全的原材料、工艺、工序等相关过程和信息的追溯，并使用Pipe工具进行模型的有界性、安全性、可达性和活性等性能仿真验证，为构建和优化特种终端质量追溯体系提供了有效的途径。