CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
An approach to repair Petri net-based process models with choice structures 期刊论文
ENTERPRISE INFORMATION SYSTEMS, 2018, 卷号: 12, 期号: 8-9, 页码: 1149-1179
作者:  Qi, HongDa;  Du, YuYue;  Qi, Liang;  Wang, Lu
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/11
STAMP-based hazard analysis for computer-controlled systems using petri nets 期刊论文
International Journal of Performability Engineering, 2018, 卷号: 14, 页码: 1997-2007
作者:  Zhu, D.;  Yao, S.;  Xu, C.
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30
Petri nets-based method for component-interaction related hazard identification in computer-controlled systems 会议论文
ICNSC 2018 - 15th IEEE International Conference on Networking, Sensing and Control
作者:  Zhu, D.;  Yao, S.;  Wu, J.
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30
An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets 期刊论文
ADVANCES IN MECHANICAL ENGINEERING, 2017, 卷号: 9, 期号: 11
作者:  Li, Shaoyong;  Wei, Xianhong;  Cai, Ying;  Ma, Bingshan;  Hou, Caiqin
收藏  |  浏览/下载：8/0  |  提交时间：2019/11/15
A two-stage deadlock control policy with maximally reachable number for ordinary Petri nets 期刊论文
Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2017, 卷号: 34, 期号: 2, 页码: 243-250
作者:  Li, Shao-Yong;  Xiao, Xing-Da;  Cai, Ying;  Hou, Cai-Qin;  Han, Xi-Lian
收藏  |  浏览/下载：10/0  |  提交时间：2020/11/14
A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net 会议论文
26th Conference on European Safety and Reliability (ESREL), Glasgow, SCOTLAND, 2016-09-25
作者:  Han, Rongbin;  Wang, Shihai
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net 会议论文
RISK, RELIABILITY AND SAFETY: INNOVATING THEORY AND PRACTICE, 2017-01-01
作者:  Han, Rongbin;  Wang, Shihai
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Petri Net-Based Context-Aware Service System Modelling: An Overview 其他
2015-01-01
Wusheng, Wang; Weiping, Li; Zhonghai, Wu; Zhichao, Zhang
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Comments on "Liveness of an extended (SPR)-P-3" [Automatica 46 (2010) 1008-1018 期刊论文
AUTOMATICA, 2014, 卷号: 50, 期号: [db:dc_citation_issue], 页码: 2199-2200
作者:  Wang, ShouGuang;  Liu, Miao
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/03
Real-time Embedded Software Architecture Modeling and Reliability Evaluation Based on Time-extended Petri Net 会议论文
3rd International Conference on Advanced Engineering Materials and Architecture Science (ICAEMAS), Huhhot, PEOPLES R CHINA, 2014-01-01
作者:  Li, Hong-Bing;  Wang, Ming-Wei
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06

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