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
Source	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
ISSN	1083-4427
Volume	39 Issue:2 Pages:299-308
Indexed Type	sci,ei,acm
Keyword	Accountability Cooperative Systems Discrete Event System Formal Model Obligations Petri Nets
Department	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.
Subject	Computer Science, Cybernetics ; Computer Science, Theory & Methods
Language	英语
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/7758
Collection	2009年期刊/会议论文
Recommended Citation 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.

Files in This Item:
There are no files associated with this item.

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

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