宝钢热轧步进梁控制系统的Petri网建模及分析

Petri Net Modeling and Analysis for Step Beam Control System in Hot-rolling Mill of Baosteel

在对宝钢热轧步进梁控制系统深入分析研究的基础上,用Petri网理论建立了系统模型,并用关联矩阵法和可达树法对系统模型进行了分析,证明了模型的转移都有发生权,并且均可达到可靠发生的效果,根据此模型设计的程序克服了一般程序设计方法在协调并发领域的局限性,为PLC控制程序的设计提供了直观可靠的模型。

Petri net theory is used to construct the model of step beam control system in hot?rolling mill of Baos-teel based on analysis.The model is analyzed by Relating?rmatrix and Reachability Tree.It is verified that the tran-sition of the model is of occur right and can reach the reliable occur.The programming based on the model gets over the limitation of general programming method in corresponding and simultaneous area and provides intuitionistic model for PLC program design.