handling synchronization problem in petri net-based system design by     property-preserving transition-reduction

ISCAS OpenIR

	handling synchronization problem in petri net-based system design by property-preserving transition-reduction
	Jiao L; Cheung TY; Lu WM
	2005
发表期刊	COMPUTER JOURNAL
ISSN	0010-4620
卷号	48 期号:6 页码:692-701
收录类别	sci ; acm ; ei
关键词	Flexible Manufacturing Systems Mathematical Models Matrix Algebra Set Theory Synchronization
部门归属	Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing, Peoples R China. Chinese Acad Sci, Acad Math & Syst Sci, Beijing, Peoples R China. City Univ Hong Kong, Dept Comp Sci, Hong Kong, Hong Kong, Peoples R China.
学科领域	Computer Science, Hardware & Architecture ; Computer Science, Information Systems ; Computer Science, Software Engineering
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12488
专题	中国科学院软件研究所
推荐引用方式 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.