Institutional Repository
| modeling and analysis of real-time cooperative systems using petri nets | |
| Du YuYue; Jiang ChangJun; Zhou MengChu | |
| 2007 | |
| Source | IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
 |
| ISSN | 1083-4427 |
| Volume | 37Issue:5Pages:643-654 |
| Indexed Type | ei ; sci |
| Keyword | Interorganizational Workflow Modeling Realtime Cooperative System Temporal Logic Time Petri Net (Tpn) Verification Workflow Analysis |
| 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. |
| Subject | Computer Science, Cybernetics ; Computer Science, Theory & Methods |
| Language | 英语 |
| WOS ID | WOS:000249024900005 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11230 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 04292216.pdf（358KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment