CORC

在结果中检索

CORC

浏览/检索结果: 共22条，第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
收藏  |  浏览/下载：19/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
Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights (EI收录) 期刊论文
Nonlinear Analysis: Hybrid Systems, 2018, 卷号: 27, 页码: 191-212
作者:  Herajy, Mostafa[1];  Liu, Fei[2];  Heiner, Monika[3]
收藏  |  浏览/下载：10/0  |  提交时间：2019/04/22
An Approach to Locating Delayed Activities in Software Processes 期刊论文
International Journal of Automation and Computing, 2018, 卷号: 15, 期号: 1, 页码: 115-124
作者:  Yun-Zhi Jin;  Hua Zhou;  Hong-Ji Yang;  Si-Jing Zhang;  Ji-Dong Ge
收藏  |  浏览/下载：5/0  |  提交时间：2021/02/23
Stochastic Workflow Nets Based Workflow Pattern Modeling 期刊论文
2016, 2016
ZHOU Huan; LIN Chuang; MENG Kun; CHEN Yarui; ZHOU Huan; LIN Chuang; MENG Kun; CHEN Yarui
收藏  |  浏览/下载：3/0
Model-based verification method for solving the parameter uncertainty in the train control system 期刊论文
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2016, 卷号: 145, 页码: 169-182
作者:  Cheng, Ruijun;  Zhou, Jin;  Chen, Dewang;  Song, Yongduan
收藏  |  浏览/下载：6/0  |  提交时间：2019/11/21
基于随机时间Petri网的安全性分析方法 期刊论文
计算机科学, 2016, 卷号: 43, 页码: 61-65,76
作者:  彭颖;  姚淑珍;  谭火彬
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Safety Analysis based on Stochastic Time Petri Nets 会议论文
2nd International Conference on Computer Science and Applications (CSA), Wuhan, PEOPLES R CHINA, 2015-11-20
作者:  Peng, Ying;  Yao, Shu-zhen;  Tan, Huo-bin
收藏  |  浏览/下载：7/0  |  提交时间：2020/01/06
Workflow performance analysis and simulation based on multidimensional workflow net 期刊论文
COMPUTERS IN INDUSTRY, 2014, 卷号: 65, 期号: 2, 页码: 333-344
作者:  Liu Sheng;  Fan Yushun
收藏  |  浏览/下载：18/0  |  提交时间：2015/08/12
A semantics for every GSPN 会议论文
34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013, Milan, Italy, June 24, 2013 - June 28, 2013
Eisentraut, Christian (1); Hermanns, Holger (1); Katoen, Joost-Pieter (2); Zhang, Lijun (3)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16

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