机构

• 软件研究所 [10]
• 自动化研究所 [2]

采集方式

• OAI收割 [12]

内容类型

• 期刊论文 [9]
• 会议论文 [3]

发表日期

• 2010 [3]
• 2009 [3]
• 2008 [5]
• 2007 [1]

学科主题

• Computer S... [2]
• Computer S... [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 a routing-based dynamic workflow 期刊论文  OAI收割 Information Technology Journal, 2010, 卷号: 9, 期号: 3, 页码: 561-568 Zhu Chang Yan; Du Yuyue; Li Peng   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/05/23 Work simplification   application of logical petri nets in web service composition 会议论文  OAI收割 2010 IEEE International Conference on Mechatronics and Automation, ICMA 2010, Xian, China, August 4, Zhu ChangYan; Du YuYue   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/03/31 Graph theory  Mechatronics  Ontology  Petri nets  Quality of service   soundness verification and analysis of interorganizational logical workflow nets 会议论文  OAI收割 2nd International Workshop on Education Technology and Computer Science, ETCS 2010, Wuhan, Hubei, China, 37321 Liu Wei; Du YuYue; Sun HaiChun; Yan Chun   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/03/31 Computer science  Education computing  Engineering education   liveness analysis of parallel programs petri net models 会议论文  OAI收割 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009, Wuhan, China, 40878 Liu Wei; Du YuYue; Cui HuanQing; Yan Chun   |  收藏  |  浏览/下载：36/0  |  提交时间：2011/03/20 Computer science  Parallel architectures  Parallel programming  Petri nets   modeling and design for dynamic workflows based on flexible activities 期刊论文  OAI收割 Information Technology Journal, 2009, 卷号: 8, 期号: 5, 页码: 750-756 Li Peng; Du Yuyue   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/03/18 Dynamic models  Work simplification   a petri net-based model for verification of obligations and accountability in cooperative systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 2, 页码: 299-308 Du YuYue; Jiang ChangJun; Zhou MengChu   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/03/18 Accountability  cooperative systems  discrete event system  formal model  obligations  Petri nets   A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99 作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu 收藏  |  浏览/下载：29/0  |  提交时间：2015/11/08 correctness  formal verification  Petri nets (PNs)  stock trading systems  temporal logic   A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99 作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu 收藏  |  浏览/下载：17/0  |  提交时间：2015/11/08 correctness  formal verification  Petri nets (PNs)  stock trading systems  temporal logic   modeling non-repudiation in distributed systems 期刊论文  OAI收割 Information Technology Journal, 2008, 卷号: 7, 期号: 1, 页码: 228-230 Zheng Hong; Du YuYue; Yu ShuXia   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/06/10 中亚五国:6783,农业合作:4824,中国新疆:3534,哈萨克斯坦:2535,中亚各国:1719,中亚国家:1627,中国少数民族:1295,塔吉克斯坦:1242,柯尔克孜族:1220,哈萨克族:1214Mathematical models  Petri nets  Security systems   analysis and verification of dynamic stock trading systems 期刊论文  OAI收割 Information Technology Journal, 2008, 卷号: 7, 期号: 3, 页码: 466-473 Du Yuyue; Zheng Hong; Yu Shuxia   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/06/10 Graph theory  Petri nets