摘要
状态迁移图和Petri网是软件工程中重要的系统动态分析方法,本文通过实例,介绍了如何用这些方法来分析PLC顺序过程控制系统中设备和系统的状态及其迁移变化规律,并给出相应的梯形图控制程序。
Status transfer graph and Petri net are important analysis methods for system in software engineering. In this paper we introduce how to use these methods for analyzing change and transfer among statuses of system and devices in PLC process control system in sequence through a example , and the corresponding LAD program code is given.
出处
《计算机应用与软件》
CSCD
北大核心
2003年第5期69-71,共3页
Computer Applications and Software
