计算机科学杂志北大期刊CSCD期刊统计源期刊

计算机科学 2016年第11期杂志 文档列表

计算机科学杂志2015第十五届全国Petri网理论与应用学术会议

从UML到GSPN的转换和性能分析方法第49-54页

关键词: 模型驱动工程；  uml；  petri网；  模型转换；  marte；  

移动网可达树第55-60页

关键词: 移动网；  移动系统；  可达树；  算法；  

基于随机时间Petri网的安全性分析方法第61-65页

关键词: 随机时间petri网；  安全性分析；  瞬态分析；  

基于Token选取的OpenStack单一平面网络建模方法第66-70页

关键词: cpn；  符号执行；  token选择；  openstack；  单一平面网络；  

基于消息顺序图和Petri网的移动应用监测平台建模分析第71-76页

关键词: 移动应用；  监测平台；  消息顺序图；  petri网；  

基于模糊着色Petri网的多状态系统可靠性分析第77-82页

关键词: 多状态系统；  模糊着色petri网；  自适应模糊推理算法；  

层次结构的进程网第83-87页

关键词: 进程网；  层次结构；  细化；  二叉树；  

呼叫准入约束下Macro-Femto小区选择GSPN模型研究第88-93页

关键词: 呼叫准入；  小区选择；  gspn；  

基于拟间接依赖的过程模型挖掘方法第94-97页

关键词: 过程挖掘；  行为轮廓；  事件日志；  拟间接依赖关系；  

含有效冲突的恒定连续Petri网演变图及构造算法第98-101页

关键词: 最大速度恒定的连续petri网；  有效冲突；  瞬发速度；  运行区间；  演变图；  算法；  

基于Petri网的虚拟企业建模与调度第102-106页

关键词: petri网；  虚拟企业；  建模；  调度；  

基于Petri网的事件协调控制方法研究第107-110页

关键词: 协调控制；  petri网；  变迁约束；  结构转换；  约束条件转换；  

DAS:GSPN成员载波动态自适应调度策略第111-116页

关键词: 成员载波；  lte；  广义随机petri；  掉线率；  吞吐量；  

Web服务组合构建与执行的Petri网平台研究第117-120页

关键词: web服务；  petri网；  服务组合；  平台；  

基于带标记的并发可达标识图的关键路径的求解方法第121-125页

关键词: 有色时延petri网；  并发可达标识图；  aoe网；  关键路径；