机译:分析Internet软件检索系统:建模和性能比较
机译:基于Petri网的互联网股票交易系统正确性分析
机译:使用详细排队Petrinet模型对Internet协议多媒体子系统的控制层进行性能分析
机译:基于Petri网的基于Internet的软件检索系统的性能分析
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:ImageMiner:使用基于内容的图像检索高性能计算和网格技术对组织微阵列进行比较分析的软件系统
机译:G-Nets:基于petri网的复杂软件系统逻辑和时序分析方法
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用