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

Search Results

Help

Item hits: (Results 1-10 of 13)

Filters    
Items/Page:    Sort:
公平性约束下基于抽象和推理的活性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-31
龙腾
  |  
 
基于变迁集语义的Petri网行为分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
王云河
  |  
 
Petri网共享T型子网合成活性分析 [期刊论文]
系统仿真学报, 2007-01-01, 期号: S1, 页码: 4-8,37
夏传良
  |  
 
Petri网共享P型子网合成及其在系统设计中的应用 [期刊论文]
系统仿真学报, 2007-01-01, 卷号: 19, 期号: 2, 页码: 355-360,404
夏传良; 鞠彦兵; 李盛恩
  |  
 
非对称选择网类共享子网合成及其在系统建模中的应用 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 6, 页码: 274-278,288
夏传良
  |  
 
Petri网共享PP-型子网合成性质分析 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 1
夏传良; 焦莉; 陆维明
  |  
 
Petri网精细化操作及其在系统设计中的应用 [期刊论文]
软件学报, 2006-01-01, 期号: 1, 页码: 11-19
夏传良; 焦莉; 陆维明
  |  
 
Petri网精细化操作及其在系统设计中的应用 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 1
夏传良; 焦莉; 陆维明
  |  
 
Petri网共享子网合成活性分析 [期刊论文]
系统仿真学报, 2005-01-01, 卷号: 17, 期号: z1
夏传良; 焦莉; 陆维明
  |  
 
一类Petri网系统的活性 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 8
林贵献; 陆维明; 焦莉
  |  
 

1 2 next

 

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