新型卷缩仪控制系统设计与Petri网建模

摘要

Aiming at the problems of complicated structure and high cost of existing crimping instrument products, based on deep analysis of the procedure for testing the crimp contraction properties of deformed yarns, we design the hardware structure of the fully automatic crimping instrument controller with raspberry pie as the core.The formal definition of one new class of Petri nets called generalized synchronous self-modifying net (GSSN) is developed.By using GSSN, we discuss a new method for modeling and analysis of the control process.For making up the insufficiency of the traditional Petri nets models, which is difficult to synchronize with external events and has a simple description algorithm, this method takes advantage of the characteristics of GSSN:one is that transitions are associated with external events and the other is that weights are controlled by places.Through the simulation analysis of the reachability graphs of the designed model obtained by using the GSSN modeling tool, the correctness of the control process is confirmed.Practical applications show that the instrument meets the needs of textile and chemical fiber enterprises with reliable performance and low cost.%针对现有的卷缩仪产品存在着结构复杂、成本较高的问题, 在深入分析变形丝卷缩性能测试流程的基础上, 设计了基于树莓派平台的新型卷缩仪控制系统硬件结构.给出了一种扩展的Petri网模型—广义同步自控网系统的形式化定义, 探讨了使用广义同步自控网系统对控制流程进行建模与分析的方法.该方法充分利用了广义同步自控网系统的变迁与外部事件关联以及弧权值受库所控制的特性, 弥补了传统Petri网模型存在的不易与外部事件同步、描述算法简单等不足.采用广义同步自控网系统建模工具得到控制器模型的可达标识图并进行仿真分析, 确认了控制过程的正确性.经实际应用表明, 所设计的卷缩仪满足纺织和化纤企业的需求, 具有性能稳定、成本低等优点.