论文部分内容阅读
针对现有的卷缩仪产品存在着结构复杂、成本较高的问题,在深入分析变形丝卷缩性能测试流程的基础上,设计了基于树莓派平台的新型卷缩仪控制系统硬件结构。给出了一种扩展的Petri网模型—广义同步自控网系统的形式化定义,探讨了使用广义同步自控网系统对控制流程进行建模与分析的方法。该方法充分利用了广义同步自控网系统的变迁与外部事件关联以及弧权值受库所控制的特性,弥补了传统Petri网模型存在的不易与外部事件同步、描述算法简单等不足。采用广义同步自控网系统建模工具得到控制器模型的可达标识图并进行仿真分析,确认了控制过程