作者：李建军; 刘翔; 黄光奇; 罗雪山作战任务仿真对象petri网idef3
摘要：IDEF3模型以其具有简单易学、容易理解掌握等特点，在对复杂的作战任务过程描述中得到了广泛应用，但是，IDEF3模型在对作战任务的逻辑、时间等方面的分析明显不足。而对象Petri网模型虽然可以解决上述问题，可是其建模困难，技术要求高。针对此问题，将二者有机地结合起来，实现IDEF3模型向对象Petri网仿真模型的自动转换，在对IDEF3形式化描述的基础上，给出了转换规则的形式化描述和仿真脚本自动生成的方法，最后，结合一个应用实例给予验证。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
