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

摘要

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