您的位置： 专家智库 > >

刘晓辉

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

合作作者

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 3篇PETRI网
  • 1篇增广PETR...
  • 1篇通讯规程
  • 1篇网模型

机构

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

作者

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

传媒

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

年份

  • 3篇1992
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
Petri网分析工具对一个通讯规程的验证
1992年
本文对ISO协议的传输层通讯规程在文献[1]验证的基础上,使用Petri网工具予以佐证。
陈顺益刘晓辉
关键词：PETRI网通讯规程
一种Petri网工具软件
1992年
本文在简单介绍Petri网的一般概念之后。论述了一种Petri网工具软件的基本功能、结构、使用特点及期限制条件。
陈顺益刘晓辉
关键词：PETRI网
petri网分析工具对增广petri网模型的验证
1992年
petri网分析工具支持增广petri网模型的建立、分析和验证。本文举例分析了用增广petri网描述的数学公式排列A m/n及幕指数n^m的分析和验证。
陈顺益刘晓辉
关键词：PETRI网PETRI网
全选 清除 导出
共1页<1>
聚类工具0