FMS运行控制系统的建模方法及测试机理

摘要

本文着重讨论了ＦＭＳ运控软件调试环境系统中被测对象的建模问题，提出了一种基于Ｐｅｔｒｉ网理论的宏Ｐｅｔｒｉ网（ＭＰＮ）模型，介绍了其特点及建模方法，最后给出了使用该模型对被测系统进行测试排错的全过程．