马研院概况
中国社会科学院马克思主义研究院，是经2005年5月19日中央政治局常委会议批准、并于2005年12月26日在原马克思列宁主义毛泽东思想研究所的基础上重新组建的国家级马克思主义研究机构。 本院的主要任务是：高举中国特色社会主义伟大旗帜，以我国社会主义改革开放和现代化建设...
通知公告
理论动态
基于Petri网的Stateflow建模方法的研究与应用
作者： 吕凤玉
摘要：以输送机器人生产线控制系统设计为例,提出将基于Petri网的Stateflow建模仿真方法应用于PLC控制软件的开发过程中.首先利用Petri网对系统控制功能进行分析,结果表明系统在运行时序上存在并行冲突,采用Petri网的数学建模功能协调冲突后,通过可达图验证了此Petri网模型是安全无死锁的;其次在上述基础上将Petri网与Stateflow组成元素相对应并进行转换;最后利用Simulink构建模型进行系统仿真分析,证明输送机器人生产线控制逻辑正确,状态转移有效.
关键字： Petri网 Stateflow PLC Simulink