refining and verifying regular petri nets

ISCAS OpenIR

	refining and verifying regular petri nets
	Li Jiao
	2008
Source	INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE
ISSN	0020-7721
Volume	39 Issue:1 Pages:17-27
Indexed Type	sci,ei,acm
Keyword	Boundedness Liveness Petri Net Refinement Regularity
Department	Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China.
Subject	Automation & Control Systems ; Computer Science, Theory & Methods ; Operations Research & Management Science
Language	英语
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/10271
Collection	中国科学院软件研究所
Recommended Citation 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.

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库