机译:一种高级Petri网中建模的多Agent系统的分析方法
Department of Computer Science and Software Engineering University of Wisconsin, Platteville 1 University Plaza, Platteville, WI 53818, USA;
School of Computing and Information Sciences Florida International University 11200 SW 8th Street, Miami, FL 33199, USA;
Formal methods; model checking; petri nets; multi-agent systems;
机译:使用嵌套Petri网建模多Agent系统的方法
机译:Petri Net:面向多代理的系统建模和分析工具
机译:使用高级Petri网建模免疫系统反应的方法学方法
机译:使用Petri网的智能虚拟培训系统的模拟与分析多功能虚拟培训系统
机译:使用Petri网的多智能体系统建模与分析方法
机译:使用高级Petri网建模免疫系统反应的方法学方法
机译:用于建模和分析多代理系统的嵌套petri网框架
机译:使用随机高级petri网建模并行和分布式系统中的硬件 - 软件交互。