Subject: Computer Science, Cybernetics; Computer Science, Theory & Methods
Title: modeling and analysis of real-time cooperative systems using petri nets
Author: Du YuYue
; Jiang ChangJun
; Zhou MengChu
Keyword: interorganizational workflow
; modeling
; realtime cooperative system
; temporal logic
; time Petri net (TPN)
; verification
; workflow analysis
Source: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
Issued Date: 2007
Volume: 37, Issue: 5, Pages: 643-654 Indexed Type: ei
; sci
Department: 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.
Language: 英语
WOS ID: WOS:000249024900005
Citation statistics:
Content Type: 期刊论文
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.