Refining and verifying regular Petri nets

ISCAS OpenIR

	Refining and verifying regular Petri nets
	Li Jiao
	2008
发表期刊	International Journal of Systems Science
卷号	39 期号:1 页码:17
收录类别	其他
合作性质	其它
关键词	27
语种	中文
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/1266
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Li Jiao. Refining and verifying regular Petri nets[J]. International Journal of Systems Science,2008,39(1):17.
APA	Li Jiao.(2008).Refining and verifying regular Petri nets.International Journal of Systems Science,39(1),17.
MLA	Li Jiao."Refining and verifying regular Petri nets".International Journal of Systems Science 39.1(2008):17.