property-preserving subnet reductions for designing manufacturing     systems with shared resources

ISCAS OpenIR

	property-preserving subnet reductions for designing manufacturing systems with shared resources
	Huang HJ; Jiao L; Cheung TY
	2005
发表期刊	THEORETICAL COMPUTER SCIENCE
ISSN	0304-3975
卷号	332 期号:1-3 页码:461-485
收录类别	sci ; ei ; acm ; sciencedirect
关键词	Manufacturing System Petri Net Property-preserving Reduction System Design Transformation Verification
部门归属	Harbin Inst Technol, Shenzhen Grad Sch, Dept Comp Sci & Informat Technol, Shenzhen 518055, Peoples R China. Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing, Peoples R China.
学科领域	Computer Science, Theory & Methods
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12454
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Huang HJ,Jiao L,Cheung TY. property-preserving subnet reductions for designing manufacturing systems with shared resources[J]. THEORETICAL COMPUTER SCIENCE,2005,332(1-3):461-485.
APA	Huang HJ,Jiao L,&Cheung TY.(2005).property-preserving subnet reductions for designing manufacturing systems with shared resources.THEORETICAL COMPUTER SCIENCE,332(1-3),461-485.
MLA	Huang HJ,et al."property-preserving subnet reductions for designing manufacturing systems with shared resources".THEORETICAL COMPUTER SCIENCE 332.1-3(2005):461-485.