|
已选(0)清除
条数/页： 排序方式：
|
| 考虑非周期消息的1553B总线Petri网建模与分析 期刊论文
计算机应用与软件, 2018, 卷号: 35, 页码: 310-315
作者: 徐侃; 黄宁; 王春霖
  收藏 | 浏览/下载：4/0 | 提交时间：2019/12/30
|
| 基于数据流约束的可配置业务流程分析与验证 期刊论文
计算机集成制造系统, 2017, 卷号: 23, 期号: 8
作者: 黄贻望; 徐松金; 冯在文; 何克清; 黄颖
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 基于数据流约束的可配置业务流程分析与验证 期刊论文
计算机集成制造系统, 2017, 期号: 8
作者: 黄贻望; 徐松金; 冯在文; 黄颖; 何克清
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 基于数据流约束的可配置业务流程分析与验证 期刊论文
2017, 卷号: 23, 期号: 8, 页码: 1797-1808
作者: 黄贻望; 徐松金; 冯在文; 黄颖; 何克清
收藏 | 浏览/下载：8/0 | 提交时间：2019/12/31
|
| 基于CPN的面向服务软件性能建模与仿真方法 学位论文
2016
作者: 徐倩
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
| 基于层次着色Petri网的网构软件性能建模与仿真分析方法 期刊论文
小型微型计算机系统, 2016, 卷号: 37, 期号: 4
作者: 徐倩; 应时; 贾向阳; 耿江屹; 李琳
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| AADL2ECPN模型转换方法及其在IMA上的应用 期刊论文
北京航空航天大学学报, 2016, 卷号: 42, 页码: 1884-1891
作者: 刘畅; 谷涛; 周庆; 王世海; 李泽林
收藏 | 浏览/下载：6/0 | 提交时间：2019/12/30
|
| 基于模糊着色Petri网的多状态系统可靠性分析 期刊论文
计算机科学, 2016, 卷号: 43, 页码: 77-82,101
作者: 张新菊; 姚淑珍
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/30
|
| 基于着色Petri网的需求分析建模与aiSports系统实现 学位论文
: 武汉轻工大学, 2016
作者: 邓智臣
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/27
|
| 面向BPEL异常处理逻辑的建模和正确性验证方法 学位论文
2014
作者: 管华
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
