Institutional Repository
| liveness analysis of parallel programs petri net models | |
| Liu Wei; Du YuYue; Cui HuanQing; Yan Chun | |
| 2009 | |
| Conference Name | 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009 |
| Source | Proceedings - 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009 |
| Pages | - |
| Conference Date | 40878 |
| Conference Place | Wuhan, China |
| Indexed Type | ei |
| Publish Place | United States |
| ISBN | 9781424449941 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Computer Science Parallel Architectures Parallel Programming Petri Nets |
| Sponsorship | Wuhan University; Huazhong Normal University; Wuhan University of Technology; National Technology University of Ukraine; Columbia University |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8430 |
| Collection | 2009年期刊/会议论文 |
| Recommended Citation GB/T 7714 | Liu Wei,Du YuYue,Cui HuanQing,et al. liveness analysis of parallel programs petri net models[C]. United States,2009:-. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment