基于Petri网的Stateflow建模方法的研究与应用

• 作者: 吕凤玉
• 来源期刊: 测控技术
• 学科: 工学
• 关键词: Petri网 Stateflow PLC Simulink
• 年，卷（期）: 2014,（6）
• 页码范围: 139-142
• 页数: 4页
• 分类号: TP273
• 字数: 3272字
• 语种: 中文

摘要

以输送机器人生产线控制系统设计为例,提出将基于Petri网的Stateflow建模仿真方法应用于PLC控制软件的开发过程中.首先利用Petri网对系统控制功能进行分析,结果表明系统在运行时序上存在并行冲突,采用Petri网的数学建模功能协调冲突后,通过可达图验证了此Petri网模型是安全无死锁的;其次在上述基础上将Petri网与Stateflow组成元素相对应并进行转换;最后利用Simulink构建模型进行系统仿真分析,证明输送机器人生产线控制逻辑正确,状态转移有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕凤玉		10	14	2.0	2.0