您的位置： 专家智库 > >

张鹏

作品数：2 被引量：9H指数：1
供职机构：同济大学电子与信息工程学院计算机科学与技术系更多>>
发文基金：国家杰出青年科学基金国家自然科学基金高等学校优秀青年教师教学科研奖励计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇PETRI网
  • 1篇可达性
  • 1篇安全性
  • 1篇SERVIC...
  • 1篇WEB
  • 1篇WSFL

机构

  • 2篇同济大学
  • 1篇山东科技大学

作者

  • 2篇张鹏
  • 1篇孙健
  • 1篇蒋树强
  • 1篇蒋昌俊

传媒

  • 1篇小型微型计算...
  • 1篇计算机科学

年份

  • 1篇2004
  • 1篇2002
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于Petri网的Web服务流语言(WSFL)建模与分析被引量：9
2004年
描述了 Web服务流语言 (WSFL)的 Petri网建模方法 ,利用网结构描述商业流程基本结构 .在对 WSFL 的语法元素进行分析的基础上 ,有效地对 WSFL所描述的商业流程进行了 Petri网建模 .在此基础上 ,结合 Petri网的可达图分析技术 。
孙健张鹏
关键词：PETRI网WSFLWEBSERVICE可达性安全性
标识部分集合二结构(LPS2S)的深重命名及其应用
2002年
文[4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析.LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论.我们知道,LPS2S是在标识部分二结构(LP2S)的基础上构造出来的,我们感兴趣的是lp2s经过域映射与重命名作用所得到的lps2s,即BREGV与REGV中的元开.本文提出的DLP2S与深重命名的概念能使我们更加深入地认识LPS2S.
蒋树强蒋昌俊张鹏
关键词：PETRI网
全选 清除 导出
共1页<1>
聚类工具0