|
已选(0)清除
条数/页： 排序方式：
|
| 基于CPN的安全协议形式化建模及安全分析方法 期刊论文
通信学报, 2021, 卷号: 42, 期号: 09, 页码: 240-253
作者: 龚翔; 冯涛; 杜谨泽
  收藏 | 浏览/下载：13/0 | 提交时间：2021/10/20
|
| 工业以太网EtherCAT协议形式化安全评估及改进 期刊论文
计算机研究与发展, 2020, 期号: 2020-11, 页码: 2312-2327
作者: 冯涛; 王帅帅; 龚翔; 方君丽
收藏 | 浏览/下载：15/0 | 提交时间：2020/12/18
|
| 一种基于有色广义随机Petri网的IT架构服务可靠性建模方法 专利
申请日期: 2018-01-01, 公开日期: 2018-11-16
作者: 李晓阳; 刘岳; 林焱辉
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/30 |
| 基于HCPN模型检测方法的DNP3-SA协议形式化安全评估与改进 学位论文
2018
作者: 鲁晔
收藏 | 浏览/下载：8/0 | 提交时间：2020/11/05
|
| 基于有色自控Petri网的电网故障区域识别 期刊论文
《电力系统保护与控制》, 2016, 卷号: 44, 页码: 56-64
作者: 谢敏; 吴亚雄; 黄庶; 刘明波
收藏 | 浏览/下载：1/0 | 提交时间：2019/04/24
|
| 车车通信技术在列控系统中的应用研究 期刊论文
铁道通信信号, 2016, 卷号: 第7期, 页码: 62-65，70
作者: 刘雨; 李开成; 王鹏
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/24
|
| 基于有色Petri网的工作流故障诊断方法 期刊论文
《计算机测量与控制》, 2015, 卷号: 23, 页码: 719-722
作者: 曾哲军[1]; 杨进[2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/04/25
|
| 重载铁路无线通信性能增强技术研究 学位论文
: 北京交通大学, 2015
作者: 袁天洋
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/30
|
| 组织决策过程的随机有色Petri网模型 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=KZYC200101021&dbname=CJFQ2001, 2012, 2012
李文波; 吴冲锋; 王意冈
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/19
|
| 基于Agent的对象有色Petri Net及其在制造单元建模中的应用 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=JSJY200308036&dbname=CJFQ2003, 2012, 2012
王伟; 苑伟政; 张磊
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/19
|
