论文部分内容阅读
随着系统工程的发展，对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点，提出一种将活动图模型自动转换为Petri网模型的机制，接着对某指挥控制系统的发射模块进行建模，并通过转换机制将活动图模型转化为Petri网模型．然后使用Petri网验证工具对转后之后的模型进行仿真验证，保证了指挥信息系统的正确性。