| 题名: | liveness analysis of parallel programs petri net models |
| 作者: | Liu Wei
; Du YuYue
; Cui HuanQing
; Yan Chun
|
| 会议文集: | Proceedings - 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009
|
| 会议名称: | 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009
|
| 会议日期: | 40878
|
| 出版日期: | 2009
|
| 会议地点: | Wuhan, China
|
| 关键词: | Computer science
; Parallel architectures
; Parallel programming
; Petri nets
|
| 出版地: | United States
|
| 收录类别: | ei
|
| ISBN: | 9781424449941
|
| 部门归属: | (1) College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, China; (2) State Key Laboratory of Computer Science, Chinese Academy of Sciences, Institute of Software, Beijing, China
|
| 主办者: | Wuhan University; Huazhong Normal University; Wuhan University of Technology; National Technology University of Ukraine; Columbia University
|
| 英文摘要: | The liveness of Petri net models of parallel programs is a very important property . The existing analysis techniques take Petri net models as a whole to study properties,which is subject to the state explosion problem.In this study,we decompose a parallel programs petri net model into multiple process subnets to study liveness preservation instead of taking it as a whole, which thus mitigates efficiently the state explosion problem to some extent. In this paper, the liveness preservation relation between a MPINet and its process subnets is analyzed in detail. A necessary condition of keeping liveness of a MPINet composed of n live process subnets is given.And a class of CR-restricted MPINets is proposed.Liveness preservation can be efficiently verified based on only their net structures for CR-restricted MPINets. ©2009 IEEE. |
| 语种: | 英语
|
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/8430
|
| Appears in Collections: | 中科院软件所图书馆_2009年期刊/会议论文
|
|
There are no files associated with this item.
|
| Recommended Citation: | |
Liu Wei,Du YuYue,Cui HuanQing,et al. liveness analysis of parallel programs petri net models[C]. 见:2009 International Conference on Information Engineering and Computer Science, ICIECS 2009. Wuhan, China. 40878.
|
|
|
