一种作战任务分析仿真模型自动生成方法研究

IDEF3模型以其具有简单易学、容易理解掌握等特点,在对复杂的作战任务过程描述中得到了广泛应用,但是,IDEF3模型在对作战任务的逻辑、时间等方面的分析明显不足。而对象Petri网模型虽然可以解决上述问题,可是其建模困难,技术要求高。针对此问题,将二者有机地结合起来,实现IDEF3模型向对象Petri网仿真模型的自动转换,在对IDEF3形式化描述的基础上,给出了转换规则的形式化描述和仿真脚本自动生成的方法,最后,结合一个应用实例给予验证。