将主体的动作分为内部动作和外部动作,单个主体的内部行为通过其对应的Petri网系统进行描述,进一步得到多主体系统对应的层次Petri网系统。通过主体间的外部动作关系的讨论分析得到多主体系统出现冲突的必要条件,并且Petfi网系统运行时的一个死标识对应多主体系统的一个冲突,特别是资源冲突。
Agent has internal and external actions, each agent can be modeled with its Petri net system and the Multi-agent system is described with its hierarchical Petri nets system, Multi-agent external actions relationships are sorted and get a necessary condition for multi-agent actions conflicts. Further, dead markings of its Petri nets system are according to conflicts that can be detected swiftly by the multi-agent system, especially resource conflicts.