论文部分内容阅读
对多主体系统进行准确的描述和分析是保证多主体系统顺利进行的关键因素之一。将主体的动作分为内部动作和外部动作，主体的内部动作通过petri网系统进行描述，进一步得到多主体系统的层次petri网系统。提出了多系统的目标计划生成算法，该算法实质是将主体的内部动作用变迁元素替代，得出替代后的多主体系统的层次petri网的可达标识图，进而可以得出多主体系统的目标计划。通过利用变迁元素替代主体的内部动作，可以有效地减小状态空间爆炸问题。