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

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
Items/Page:    Sort:
基于极小T-不变量增加的Petri网可达性分析 [期刊论文]
计算机应用研究, 2010-01-01, 卷号: 27, 期号: 10, 页码: 3798-3802
彭建兵; 焦莉
  |  
 
property checking for 1-place-unbounded petri nets [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Wang Yunhe; Jiang Bo; Jiao Li
  |  
 
canonical transition set semantics for petri nets [会议论文]
31st International Conference on Appliations and Theory of Petri Nets and Other Models of Concurrency, Braga, PORTUGAL, JUN 21-25,
Wang Yunhe; Jiao Li
  |  
 
property preservation by petri-net-based refinements in system design [会议论文]
9th International Conference for Young Computer Scientists, Zhangjiajie, PEOPLES R CHINA, NOV 18-21,
Xia Chuanliang
  |  
 

1

 

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