新型卷缩率测试仪控制系统设计与Petri网建模（英文）  

Design and Petri Net Modeling of New Crimp Contraction Tester Control System

作　　者：万军 刘玉婷 WAN Jun;LIU Yuting(School of Urban Railway Transportation,Changzhou University,Changzhou 213164,China)

机构地区：[1]常州大学城市轨道交通学院

出　　处：《常州大学学报（自然科学版）》2020年第1期48-55,共8页Journal of Changzhou University：Natural Science Edition

基　　金：江苏省科技成果转化专项资金资助项目(BA2017014);常州大学2018年科技创新基金资助项目暨“挑战杯·卓越”项目(2018-03-C-52)

摘　　要：针对现有的卷缩率测试仪产品存在着结构复杂和成本高的问题,在深入分析变形丝卷缩性能测试流程的基础上,设计了以ARM为核心的全自动卷缩率测试仪控制系统硬件结构,提出了一类新的Petri网-广义同步自控网系统(GSSN)的形式化定义,讨论了一种新的基于GSSN对控制流程进行建模与分析的方法。为了弥补传统Petri网模型存在的不易与外部事件同步和描述算法简单等不足,该方法充分利用了GSSN的变迁与外部事件关联以及弧权值受库所控制的特性。通过使用GSSN建模工具得到设计模型可达图并进行仿真分析,确认了控制过程的正确性。经实际应用表明所设计的仪器满足纺织和化纤企业的需求,且具有性能可靠和低成本等优点。Aiming at the complicated structure and high cost existing in the crimp contraction tester products,based on the analysis of the procedure for testing the crimp contraction properties of deformed yarns,the hardware structure of the automatic crimp contraction tester control system with ARM chip as the core is introduced firstly.The formal definition of one new class of Petri nets called generalized synchronous self-modifying net(GSSN)is developed.By using GSSN,a new method for modeling and analysis of the control process is discussed.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 arc 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 was confirmed.Practical applications show that the instrument meets the needs of textile and chemical fiber enterprises and has the characteristic of reliable performance and low cost.

关 键 词：卷缩率测试仪 ARM PETRI网 建模 

分 类 号：TP391.8[自动化与计算机技术—计算机应用技术]