欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
获奖
> 获奖详情页
逻辑Petri网的性质分析方法
颁奖组织:山东科技大学
类别:山东科技大学研究生优秀科技创新成果奖
时间:2015.6
级别:校级
所属机构名称:山东科技大学
成果类型:获奖
相关项目:逻辑Petri网演化推理机制研究及其在服务组合中的应用
同获奖项目
逻辑Petri网演化推理机制研究及其在服务组合中的应用
期刊论文 58
会议论文 11
获奖 22
同项目获奖
分布式协同系统形式化模型及其应用研究
基于服务簇的服务查找与替换
Web服务流程的结构健壮性与演化研究
基于服务簇的最优Web服务组合路径获取方法
2014年山东省优秀博士学位论文
逻辑Petri网分析方法及在Web服务组合中的应用
一种基于逻辑Petri网的Web服务簇组合方法
动态工作流的建模理论及方法
工作流的建模与动态构建技术研究及应用
逻辑Petri网的性质分析方法
基于服务簇的服务查找与替换
Web服务流程的结构健壮性与演化研究
基于服务簇的最优Web服务组合路径获取方法
2014年山东省优秀博士学位论文
Web服务集成形式化建模与分析技术研究
Web服务集成形式化建模与分析技术研究
逻辑Petri网分析方法及在Web服务组合中的应用
一种基于逻辑Petri网的Web服务簇组合方法
动态工作流的建模理论及方法
工作流的建模与动态构建技术研究及应用
分布式协同系统形式化模型及其应用研究