中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共7条，第1-7条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Application of Petri Nets in Dynamic process of chemical emergency Management 会议论文
, guangdong dongguan, 2013-7
作者:  Jing SF(荆思凤);  Liu XW(刘希未);  Fan D(范东);  Cheng ZJ(程长建);  Shang XQ(商秀芹);  Xiong G(熊刚)
浏览  |  Adobe PDF(378Kb)  |  收藏  |  浏览/下载：290/68  |  提交时间：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
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：232/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 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：190/0  |  提交时间：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
作者:  Sen Peng, S;  Zhou, MC
收藏  |  浏览/下载：105/0  |  提交时间：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
作者:  Gao, MM;  Zhou, MC;  Huang, XG;  Wu, ZM
收藏  |  浏览/下载：99/0  |  提交时间：2015/11/08
Expert Systems  Fault Diagnosis  Fuzzy Reasoning  Petri Nets  
Coordination Specification for CIRSSE Robotic Platform System Using Petri Net Transducers 期刊论文
Journal of Intelligent and Robotic Systems, 1994, 卷号: 9, 期号: 2, 页码: 209-233
作者:  FEI-YUE WANG;  MICHAEL MITTMANN;  GEORGE N. SARIDIS
浏览  |  Adobe PDF(1316Kb)  |  收藏  |  浏览/下载：291/123  |  提交时间：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
作者:  Fei-Yue Wang;  Kevin Gildea;  Alan Rubenstein
浏览  |  Adobe PDF(1138Kb)  |  收藏  |  浏览/下载：171/73  |  提交时间：2017/03/14
Petri Net  Mms