Chinese | English

Search in the results

CASIA OpenIR

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 329-338
Authors:  Dan You;  Oussama Karoui;  Shouguang Wang
Adobe PDF(1372Kb)  |  Favorite  |  View/Download：116/15  |  Submit date：2021/11/03
Petri nets (PNs)  problem decomposition  resource-allocation systems  siphons  
A Learning-Embedded Attributed Petri Net to Optimize Student Learning in a Serious Game 期刊论文
IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2021, 页码: 9
Authors:  Liang, Jing;  Tang, Ying;  Hare, Ryan;  Wu, Ben;  Wang, Fei-Yue
Favorite  |  View/Download：89/0  |  Submit date：2022/01/27
Games  Task analysis  Problem-solving  Petri nets  Random forests  Training  Radio frequency  Learning optimization  Petri nets (PNs)  serious game (SG)  
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：130/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：189/0  |  Submit date：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic