|
已选(0)清除
条数/页： 排序方式：
|
| 基于CPN的安全协议形式化建模及安全分析方法 期刊论文
通信学报, 2021, 卷号: 42, 期号: 09, 页码: 240-253
作者: 龚翔; 冯涛; 杜谨泽
  收藏 | 浏览/下载：13/0 | 提交时间：2021/10/20
|
| 应用控制变迁的柔性制造系统死锁控制策略 期刊论文
控制理论与应用, 2019, 卷号: 36, 期号: 2019年05期, 页码: 795-802
作者: 李绍勇; 孙智冬; 蔡颖; 厚彩琴; 韩喜莲
收藏 | 浏览/下载：0/0 | 提交时间：2019/11/13
|
| 一种基于时变Petri网的服务组合质量检验方法 期刊论文
软件学报, 2019, 卷号: 30, 页码: 2453-2469
作者: 韩敏; 孙国庆; 郑丹晨; 周惠巍
收藏 | 浏览/下载：6/0 | 提交时间：2019/12/02
|
| 震后应急医疗救援流程效率评价研究 期刊论文
中国管理科学, 2019, 页码: 205-216
作者: 孙华丽[1]; 赵喆[2]; 刘涛[3]; 薛耀锋[4]
收藏 | 浏览/下载：12/0 | 提交时间：2019/04/22
|
| 基于模糊Petri网的用电信息采集系统故障诊断方法 期刊论文
电测与仪表, 2019, 期号: 13
作者: 薛铮; 孙勇; 董政呈; 方彦军
收藏 | 浏览/下载：9/0 | 提交时间：2019/12/05
|
| 针对软件测试数据生成与Petri网可达性分析的适度函数 学位论文
博士, 北京: 中国科学院大学, 2018
作者: 徐雄
收藏 | 浏览/下载：17/0 | 提交时间：2018/06/22
|
| 基于BBR拥塞控制算法的空间环境数据传输系统 学位论文
: 中国科学院国家空间科学中心, 2018
作者: 刘盼
收藏 | 浏览/下载：24/0 | 提交时间：2018/10/25
|
| 设备敏感型业务流程建模及分析 学位论文
: 大连理工大学, 2018
作者: 赵丹
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/02
|
| 多项目资源冲突消解方法研究 学位论文
: 大连理工大学, 2018
作者: 刘晓莹
收藏 | 浏览/下载：12/0 | 提交时间：2019/12/02
|
| 回字形布置的双轨轮小车自动化码头仿真 期刊论文
系统仿真学报, 2018, 卷号: 30, 页码: 3264-3273
作者: 周鹏飞; 邢小伟
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/02
|
