Handling synchronization problem in Petri net-based system design by property-preserving transition-reduction

doi:10.1093/comjnl/bxh125

CSpace

	Handling synchronization problem in Petri net-based system design by property-preserving transition-reduction
	Jiao, L ; Cheung, TY ; Lu, WM
	2005-11-01
发表期刊	COMPUTER JOURNAL
ISSN	0010-4620
卷号	48 期号:6 页码:692-701
摘要	Synchronizations frequently occur in the modeling and design of distributed and concurrent systems. Designing a correct system from subsystems by considering the synchronizations of events is a difficult and complex task because it often destroys some desirable properties of subsystems and induces the whole system deadlocks. This paper formulates a property-preserving transition-reduction transformation to handle the synchronization problem in Petri net-based system design. It starts by designing correct subsystems without taking transition-reduction consideration. Synchronizations are then introduced by merging transitions of subsystems. Depending on the structure of transitions, two classes of transition-reductions are investigated. For each class, this paper shows that many structural and behavior properties can be preserved.
DOI	10.1093/comjnl/bxh125
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Information Systems ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS记录号	WOS:000233216800009
出版者	OXFORD UNIV PRESS
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/2364
专题	中国科学院数学与系统科学研究院
通讯作者	Jiao, L
作者单位	1.Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing, Peoples R China 2.Chinese Acad Sci, Acad Math & Syst Sci, Beijing, Peoples R China 3.City Univ Hong Kong, Dept Comp Sci, Hong Kong, Hong Kong, Peoples R China
推荐引用方式 GB/T 7714	Jiao, L,Cheung, TY,Lu, WM. Handling synchronization problem in Petri net-based system design by property-preserving transition-reduction[J]. COMPUTER JOURNAL,2005,48(6):692-701.
APA	Jiao, L,Cheung, TY,&Lu, WM.(2005).Handling synchronization problem in Petri net-based system design by property-preserving transition-reduction.COMPUTER JOURNAL,48(6),692-701.
MLA	Jiao, L,et al."Handling synchronization problem in Petri net-based system design by property-preserving transition-reduction".COMPUTER JOURNAL 48.6(2005):692-701.