您的位置： 专家智库 > >

陈顺益

作品数：4 被引量：1H指数：1
供职机构：湖南省计算技术研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

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

主题

  • 3篇PETRI网
  • 1篇增广PETR...
  • 1篇软件工程
  • 1篇时间PETR...
  • 1篇通信
  • 1篇通信规程
  • 1篇通讯规程
  • 1篇网模型

机构

  • 4篇湖南省计算技...

作者

  • 4篇陈顺益
  • 3篇刘晓辉

传媒

  • 4篇计算技术与自...

年份

  • 3篇1992
  • 1篇1990
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
Petri网分析工具对一个通讯规程的验证
1992年
本文对ISO协议的传输层通讯规程在文献[1]验证的基础上,使用Petri网工具予以佐证。
陈顺益刘晓辉
关键词：PETRI网通讯规程
一种Petri网工具软件
1992年
本文在简单介绍Petri网的一般概念之后。论述了一种Petri网工具软件的基本功能、结构、使用特点及期限制条件。
陈顺益刘晓辉
关键词：PETRI网
petri网分析工具对增广petri网模型的验证
1992年
petri网分析工具支持增广petri网模型的建立、分析和验证。本文举例分析了用增广petri网描述的数学公式排列A m/n及幕指数n^m的分析和验证。
陈顺益刘晓辉
关键词：PETRI网PETRI网
一种时间Petri网及其在通信规程中的应用被引量：1
1990年
本文所论述的时间Petri网属确定性(deter—ministic)时间Petri网类的一种。在简要回顾时间Petri 网的发展过程的同时,指出了这种网的优点和限制。对这种时间Petri网的主要基本概念进行了论述。最后举了一个简单通信规程的应用例子,使用PNUT软件工具描绘了TRG,进行了逻辑正确性的验证和简单的系统性能分析。
陈顺益
关键词：时间PETRI网通信规程软件工程
全选 清除 导出
共1页<1>
聚类工具0