CASIA OpenIR

Browse/Search Results:  1-9 of 9 Help

Selected(0)Clear Items/Page:    Sort:
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:41/8  |  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:63/8  |  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: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  
Ladder diagram and Petri-net-based discrete-event control design methods 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2004, 卷号: 34, 期号: 4, 页码: 523-531
Authors:  Sen Peng, S;  Zhou, MC
Favorite  |  View/Download:22/0  |  Submit date:2015/11/06
Discrete Event Control System (Decs)  Ladder Diagram (Ld)  Petri Nets (Pn)  Programmable Logic Controller (Plc)  
Fuzzy reasoning Petri nets 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2003, 卷号: 33, 期号: 3, 页码: 314-324
Authors:  Gao, MM;  Zhou, MC;  Huang, XG;  Wu, ZM
Favorite  |  View/Download:22/0  |  Submit date:2015/11/08
Expert Systems  Fault Diagnosis  Fuzzy Reasoning  Petri Nets  
弱引发规则确定性时间约束Petri网定性、定量分析与调度理论研究 学位论文
, 中国科学院自动化研究所: 中国科学院自动化研究所, 1996
Authors:  桂志波
Favorite  |  View/Download:12/0  |  Submit date:2015/09/02
Coordination Specification for CIRSSE Robotic Platform System Using Petri Net Transducers 期刊论文
Journal of Intelligent and Robotic Systems, 1994, 卷号: 9, 期号: 2, 页码: 209-233
Authors:  FEI-YUE WANG;  MICHAEL MITTMANN;  GEORGE N. SARIDIS
View  |  Adobe PDF(1316Kb)  |  Favorite  |  View/Download:36/10  |  Submit date:2017/03/17
Petri Net Transducer  Coordination Structure  Command Language  Communication  Intelligent Machines.  
A Colored Petri Net Model for Connection Management Services in MMS 期刊论文
ACM SIGCOMM Computer Communication Review, 1989, 卷号: 19, 期号: 3, 页码: 76-98
Authors:  Fei-Yue Wang;  Kevin Gildea;  Alan Rubenstein
View  |  Adobe PDF(1138Kb)  |  Favorite  |  View/Download:21/5  |  Submit date:2017/03/14
Petri Net  Mms