张鹏

作品数：2被引量：1H指数：1
导出分析报告
供职机构：同济大学电子与信息工程学院计算机科学与技术系更多>>
发文主题：PETRI网WSFLWEBSERVICE安全性更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》《计算机科学》更多>>
所获基金：国家杰出青年科学基金国家自然科学基金高等学校优秀青年教师教学科研奖励计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网的Web服务流语言(WSFL)建模与分析被引量：1
《小型微型计算机系统》2004年第7期1382-1386,共5页孙健 张鹏 
国家杰出青年科学基金项目 (60 12 5 2 0 5 )资助
描述了 Web服务流语言 (WSFL)的 Petri网建模方法 ,利用网结构描述商业流程基本结构 .在对 WSFL 的语法元素进行分析的基础上 ,有效地对 WSFL所描述的商业流程进行了 Petri网建模 .在此基础上 ,结合 Petri网的可达图分析技术 。
关键词：PETRI网 WSFL WEB SERVICE 验证 可达性 安全性 
标识部分集合二结构(LPS2S)的深重命名及其应用
《计算机科学》2002年第7期152-153,共2页蒋树强 蒋昌俊 张鹏 
国家自然科学基金; 教育部优秀青年教师教学科研奖励计划资助项目
文[4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析.LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论.我们知道,LPS2S是在标识部分二结构(LP2S)的基础上构造出来的,我们感兴趣的是...
关键词：PETRI网 深重命名 标识部分集合二结构 LPS2S 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部