liveness analysis of parallel programs petri net models

CORC > 软件研究所 > 软件所图书馆 > 2009年期刊/会议论文

	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.