测控技术
測控技術
측공기술
MEASUREMENT & CONTROL TECHNOLOGY
2014年
6期
139-142
,共4页
Petri网%Stateflow%PLC%Simulink
Petri網%Stateflow%PLC%Simulink
Petri망%Stateflow%PLC%Simulink
Petri nets%Stateflow%PLC%Simulink
以输送机器人生产线控制系统设计为例,提出将基于Petri网的Stateflow建模仿真方法应用于PLC控制软件的开发过程中.首先利用Petri网对系统控制功能进行分析,结果表明系统在运行时序上存在并行冲突,采用Petri网的数学建模功能协调冲突后,通过可达图验证了此Petri网模型是安全无死锁的;其次在上述基础上将Petri网与Stateflow组成元素相对应并进行转换;最后利用Simulink构建模型进行系统仿真分析,证明输送机器人生产线控制逻辑正确,状态转移有效.
以輸送機器人生產線控製繫統設計為例,提齣將基于Petri網的Stateflow建模倣真方法應用于PLC控製軟件的開髮過程中.首先利用Petri網對繫統控製功能進行分析,結果錶明繫統在運行時序上存在併行遲突,採用Petri網的數學建模功能協調遲突後,通過可達圖驗證瞭此Petri網模型是安全無死鎖的;其次在上述基礎上將Petri網與Stateflow組成元素相對應併進行轉換;最後利用Simulink構建模型進行繫統倣真分析,證明輸送機器人生產線控製邏輯正確,狀態轉移有效.
이수송궤기인생산선공제계통설계위례,제출장기우Petri망적Stateflow건모방진방법응용우PLC공제연건적개발과정중.수선이용Petri망대계통공제공능진행분석,결과표명계통재운행시서상존재병행충돌,채용Petri망적수학건모공능협조충돌후,통과가체도험증료차Petri망모형시안전무사쇄적;기차재상술기출상장Petri망여Stateflow조성원소상대응병진행전환;최후이용Simulink구건모형진행계통방진분석,증명수송궤기인생산선공제라집정학,상태전이유효.
