中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 12)

Items/Page:    Sort:
基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析 [会议论文]
2013全国高性能计算学术年会, 桂林, 2013
李智佳; 胡翔; 焦莉; 王伟锋

 
基于极小T-不变量增加的Petri网可达性分析 [期刊论文]
计算机应用研究, 2010-01-01, 卷号: 27, 期号: 10, 页码: 3798-3802
彭建兵; 焦莉
  |  
 
Petri网共享PP-型子网合成性质分析 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 1
夏传良; 焦莉; 陆维明
  |  
 
基于共享位置的Petri网系统综合与保性 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 3
焦莉; 陆维明
  |  
 
Petri网精细化操作及其在系统设计中的应用 [期刊论文]
软件学报, 2006-01-01, 期号: 1, 页码: 11-19
夏传良; 焦莉; 陆维明
  |  
 
Petri网精细化操作及其在系统设计中的应用 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 1
夏传良; 焦莉; 陆维明
  |  
 
Petri网共享子网合成活性分析 [期刊论文]
系统仿真学报, 2005-01-01, 卷号: 17, 期号: z1
夏传良; 焦莉; 陆维明
  |  
 
关于ESAC网活性和有界性的一个多项式算法 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 7
焦莉; 陆维明
  |  
 
一类Petri网系统的活性 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 8
林贵献; 陆维明; 焦莉
  |  
 
加权非对称选择网活性和有界性分析 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 12
焦莉; 陆维明
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace