liveness analysis of parallel programs petri net models
文献类型：会议论文
| 作者 | Liu Wei ; Du YuYue ; Cui HuanQing ; Yan Chun |
| 出版日期 | 2009 |
| 会议名称 | 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009 |
| 会议日期 | 40878 |
| 会议地点 | Wuhan, China |
| 关键词 | Computer science Parallel architectures Parallel programming Petri nets |
| 页码 | - |
| 英文摘要 | 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. |
| 收录类别 | EI |
| 会议主办者 | Wuhan University; Huazhong Normal University; Wuhan University of Technology; National Technology University of Ukraine; Columbia University |
| 会议录 | Proceedings - 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009
 |
| 会议录出版地 | United States |
| 语种 | 英语 |
| ISBN号 | 9781424449941 |
| 源URL | [http://124.16.136.157/handle/311060/8430]  |
| 专题 | 软件研究所_软件所图书馆_2009年期刊/会议论文 |
| 推荐引用方式 GB/T 7714 | 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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。