您的位置： 专家智库 > >

丁剑杰

作品数：2 被引量：1H指数：1
供职机构：西北大学信息科学与技术学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇形式化
  • 2篇形式化建模
  • 2篇PI
  • 2篇PI演算
  • 2篇PETRI网

机构

  • 2篇西北大学

作者

  • 2篇丁剑杰
  • 2篇郭小群
  • 2篇侯红
  • 2篇郝克刚

传媒

  • 1篇系统仿真学报
  • 1篇第十二届全国...

年份

  • 1篇2009
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
用Pi^+演算表示带抑止弧的Petri网被引量：1
2008年
Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri网。为了能够表示Petri网的静态及动态结构,首先介绍了具有同步同信原语的Pi+演算,但是这种扩展无法表示抑制位置无穷的Petri网,因此又提出了优先原语,并通过例子说明了优先原语的作用。
郭小群郝克刚侯红丁剑杰
关键词：PI演算PETRI网形式化建模
用Pi+演算表示带抑止弧的Petri网
Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri网。为了能够表示Petri网的静态及动态结构...
郭小群郝克刚侯红丁剑杰
关键词：PI演算PETRI网形式化建模
文献传递
全选 清除 导出
共1页<1>
聚类工具0