摘要：针对现有的卷缩率测试仪产品存在着结构复杂和成本高的问题,在深入分析变形丝卷缩性能测试流程的基础上,设计了以ARM为核心的全自动卷缩率测试仪控制系统硬件结构,提出了一类新的Petri网-广义同步自控网系统(GSSN)的形式化定义,讨论了一种新的基于GSSN对控制流程进行建模与分析的方法。为了弥补传统Petri网模型存在的不易与外部事件同步和描述算法简单等不足,该方法充分利用了GSSN的变迁与外部事件关联以及弧权值受库所控制的特性。通过使用GSSN建模工具得到设计模型可达图并进行仿真分析,确认了控制过程的正确性。经实际应用表明所设计的仪器满足纺织和化纤企业的需求,且具有性能可靠和低成本等优点。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社