论文部分内容阅读
探讨FMS运行控制系统软件调试环境的建立问题。在研究离散事件动态系统软件测试机理过程中,提出宏Petri网(MPN)模型,这种网模型由于在库所和变迁中引入变量结构,使模型具有更大的描述性;基于FMS中基本事件类型建模,使建模过程通用化、程序化;讨论应用MPN实施对FMS运行控制软件测试纠错的一般过程。
Explore the establishment of software debugging environment for FMS operation control system. In the process of researching software testing mechanism of discrete event dynamic system, this paper proposes a macro Petri net (MPN) model, which introduces a more descriptive model because of the introduction of variable structure in places and transitions. Based on the basic events in FMS, Type modeling to make the modeling process universal and programmatic; and discuss the general process of applying MPN to test the error correction of FMS operation control software.