modeling and analysis of real-time cooperative systems using petri nets

ISCAS OpenIR

	modeling and analysis of real-time cooperative systems using petri nets
	Du YuYue; Jiang ChangJun; Zhou MengChu
	2007
发表期刊	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
ISSN	1083-4427
卷号	37 期号:5 页码:643-654
收录类别	ei ; sci
关键词	Interorganizational Workflow Modeling Realtime Cooperative System Temporal Logic Time Petri Net (Tpn) Verification Workflow Analysis
部门归属	Shadong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266510, Peoples R China. Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100080, Peoples R China. Tongji Univ, Dept Comp Sci & Engn, Shanghai 200092, Peoples R China.
学科领域	Computer Science, Cybernetics ; Computer Science, Theory & Methods
语种	英语
WOS记录号	WOS:000249024900005
引用统计	被引频次：54[WOS] [WOS记录] [WOS相关记录]
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11230
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Du YuYue,Jiang ChangJun,Zhou MengChu. modeling and analysis of real-time cooperative systems using petri nets[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,2007,37(5):643-654.
APA	Du YuYue,Jiang ChangJun,&Zhou MengChu.(2007).modeling and analysis of real-time cooperative systems using petri nets.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,37(5),643-654.
MLA	Du YuYue,et al."modeling and analysis of real-time cooperative systems using petri nets".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 37.5(2007):643-654.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
04292216.pdf（358KB）			开放获取	--	请求全文