CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
An adapted component-connection method for building SBDD encoding a dynamic fault tree 期刊论文
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2022
作者:  Guo, Dingqing;  Wang, Jinkai;  Lin, Jian;  Zhang, Bing;  Yong, Nou
收藏  |  浏览/下载：18/0  |  提交时间：2022/12/23
Analysis of Interrupt Behavior Based on Probabilistic Model Checking 会议论文
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08
作者:  Hou, Gang;  Kong, Weiqiang;  Zhou, Kuanjiu;  Wang, Jie;  Cao, Xun
收藏  |  浏览/下载：41/0  |  提交时间：2019/12/02
A Simple Logic Transition Repair Method for Business Process Models via Logic Petri Nets 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 76628-76644
作者:  Teng, Yuanxiu;  Du, Yuyue;  Qi, Liang;  Luan, Wenjing;  Wang, Lu
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/11
Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 105132-105145
作者:  Zheng, Wentai;  Du, Yuyue;  Wang, Shouguang;  Qi, Liang
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/11
A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 13106-13120
作者:  Zheng, Wentai;  Du, Yuyue;  Qi, Liang;  Wang, Lu
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/11
Method of model repair based on logic Petri nets 期刊论文
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2018, 卷号: 24, 期号: 7, 页码: 1736-1746
作者:  Wang, Yuanyuan;  Du, Yuyue;  Qi, Hongda
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/11
An Approach for Repairing Process Models Based on Logic Petri Nets 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 29926-29939
作者:  Zhang, Xize;  Du, Yuyue;  Qi, Liang;  Sun, Haichun
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/11
Repairing Process Models Containing Choice Structures via Logic Petri Nets 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 53796-53810
作者:  Zhang, Xize;  Du, Yuyue;  Qi, Liang;  Sun, Haichun
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/11
A method of process mining based on logic petri nets 期刊论文
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2016, 卷号: 44, 期号: 11, 页码: 2742-2751
作者:  Du, Yu-Yue;  Zhu, Hong-Ru;  Wang, Lu;  Liu, Wei
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/16
A novel application of logic Petri nets to rule-based reasoning of dna base-calling 期刊论文
International Journal of Simulation: Systems, Science and Technology, 2016, 卷号: 17, 期号: 44, 页码: 37.1-37.4
作者:  Sha, Jing;  Zhang, Zhennan
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/16

©版权所有 ©2017 CSpace - Powered by CSpace