a petri net-based model for verification of obligations and     accountability in cooperative systems

ISCAS OpenIR > 2009年期刊/会议论文

	a petri net-based model for verification of obligations and accountability in cooperative systems
	Du YuYue; Jiang ChangJun; Zhou MengChu
	2009
发表期刊	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
ISSN	1083-4427
卷号	39 期号:2 页码:299-308
收录类别	sci,ei,acm
关键词	Accountability Cooperative Systems Discrete Event System Formal Model Obligations Petri Nets
部门归属	Du, YuYue Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266510, Peoples R China. Du, YuYue Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100080, Peoples R China. Jiang, ChangJun Tongji Univ, Dept Comp Sci & Engn, Shanghai 200092, Peoples R China. Zhou, MengChu New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA. Zhou, MengChu New Jersey Inst Technol, Discrete Event Syst Lab, Newark, NJ 07102 USA. Zhou, MengChu Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China.
学科领域	Computer Science, Cybernetics ; Computer Science, Theory & Methods
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/7758
专题	2009年期刊/会议论文
推荐引用方式 GB/T 7714	Du YuYue,Jiang ChangJun,Zhou MengChu. a petri net-based model for verification of obligations and accountability in cooperative systems[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,2009,39(2):299-308.
APA	Du YuYue,Jiang ChangJun,&Zhou MengChu.(2009).a petri net-based model for verification of obligations and accountability in cooperative systems.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,39(2),299-308.
MLA	Du YuYue,et al."a petri net-based model for verification of obligations and accountability in cooperative systems".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 39.2(2009):299-308.