refining and verifying regular petri nets

ISCAS OpenIR

	refining and verifying regular petri nets
	Li Jiao
	2008
发表期刊	INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE
ISSN	0020-7721
卷号	39 期号:1 页码:17-27
收录类别	sci,ei,acm
关键词	Boundedness Liveness Petri Net Refinement Regularity
部门归属	Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China.
学科领域	Automation & Control Systems ; Computer Science, Theory & Methods ; Operations Research & Management Science
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10271
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Li Jiao. refining and verifying regular petri nets[J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE,2008,39(1):17-27.
APA	Li Jiao.(2008).refining and verifying regular petri nets.INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE,39(1),17-27.
MLA	Li Jiao."refining and verifying regular petri nets".INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE 39.1(2008):17-27.