CASIA OpenIR

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
Authors:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
Favorite  |  View/Download:94/0  |  Submit date: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 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
Authors:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
Favorite  |  View/Download:30/0  |  Submit date:2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
离散事件动态系统的PN机理论与方法研究 学位论文
, 中国科学院自动化研究所: 中国科学院自动化研究所, 1995
Authors:  蒋昌俊
Favorite  |  View/Download:35/0  |  Submit date:2015/09/02
离散事件动态系统  Petri网  Pn机  形式语言  并发行为  并发模型  Discrete Event Dynamic System  Petri Net  Pn Machine  Formal Language  Concurrent Babavior  Concurrent Model