学科主题: Computer Science, Cybernetics; Computer Science, Theory & Methods
题名: modeling and analysis of real-time cooperative systems using petri nets
作者: Du YuYue
; Jiang ChangJun
; Zhou MengChu
关键词: interorganizational workflow
; modeling
; realtime cooperative system
; temporal logic
; time Petri net (TPN)
; verification
; workflow analysis
刊名: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
发表日期: 2007
卷: 37, 期: 5, 页: 643-654 收录类别: ei
; sci
部门归属: 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.
语种: 英语
WOS记录号: WOS:000249024900005
Citation statistics:
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/11230
Appears in Collections: 软件所图书馆_期刊论文
File Name/ File Size
Content Type
Version
Access
License
04292216.pdf （358KB） -- -- 限制开放 -- 联系获取全文
Recommended Citation:
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-01-01,37(5):643-654.
