CASIA OpenIR

Browse/Search Results:  1-10 of 15 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:82/9  |  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:53/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)  
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
Authors:  Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You;  Kamel Barkaoui;  MengChu Zhou
Adobe PDF(1617Kb)  |  Favorite  |  View/Download:59/12  |  Submit date:2021/04/09
Automated manufacturing systems  deadlocks  discrete event system  mixed-integer programming (MIP)  Petri nets (PN)  siphons  
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605
Authors:  Bo Huang;  MengChu Zhou;  Cong Wang;  Abdullah Abusorrah;  Yusuf Al-Turki
Adobe PDF(12009Kb)  |  Favorite  |  View/Download:48/6  |  Submit date:2021/04/09
Deadlock prevention  Petri nets  robotic manufacturing cells  structure-minimized supervisor  supervisory control  uncontrollability  unobservability  
Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188
Authors:  Zhou He;  Ziyue Ma;  Zhiwu Li;  Alessandro Giua
Adobe PDF(1634Kb)  |  Favorite  |  View/Download:47/5  |  Submit date:2021/04/09
Discrete event system  resource allocation  timed Petri net  weighted marked graph  
Disassembly Sequence Planning: A Survey 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 7, 页码: 1308-1324
Authors:  Xiwang Guo;  MengChu Zhou;  Abdullah Abusorrah;  Fahad Alsokhiry;  Khaled Sedraoui
Adobe PDF(4140Kb)  |  Favorite  |  View/Download:50/4  |  Submit date:2021/06/11
Artificial intelligence (AI)  disassembly sequence planning (DSP)  intelligent optimization  modeling methods  multi-objective optimization  single-objective optimization  uncertainty  
Workflow performance analysis and simulation based on multidimensional workflow net 期刊论文
COMPUTERS IN INDUSTRY, 2014, 卷号: 65, 期号: 2, 页码: 333-344
Authors:  Liu Sheng;  Fan Yushun
View  |  Adobe PDF(565Kb)  |  Favorite  |  View/Download:139/41  |  Submit date:2015/08/12
Mwf-net  Performance Analysis  Dwelling Time  Probability Density  
Application of Petri Nets in Dynamic process of chemical emergency Management 会议论文
, guangdong dongguan, 2013-7
Authors:  Jing SF(荆思凤);  Liu XW(刘希未);  Fan D(范东);  Cheng ZJ(程长建);  Shang XQ(商秀芹);  Xiong G(熊刚)
View  |  Adobe PDF(378Kb)  |  Favorite  |  View/Download:176/32  |  Submit date:2018/01/02
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:114/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:175/0  |  Submit date:2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic