• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“2”条记录

已选条件:
导出
  • 排序
  • 显示
1. 一种构造Petri网可达图的方法 CSCD 期刊论文 认领

作者:周建涛;叶新铭

外文作者:ZHOU Jian tao, YE Xin ming (NeiMongol University, College of Computer Science, Hohhot,010021,PRC)

第一作者:周建涛

作者机构:[周建涛;叶新铭]内蒙古大学计算机学院

来源:内蒙古大学学报(自然科学版),1999,Vol.30,Issue.3

基金:国家自然科学基金

CSCD被引频次:1

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:Petri网;可达图;标识;

摘要:Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需借助如可达树、矩阵方程、可达图等工具.本文将提出可达图的一种构造方法 更多

2. Petri网的可达图与可达树的比较 CSCD 期刊论文 认领

作者:周建涛;叶新铭

外文作者:ZHOU Jian tao, YE Xin ming (NeiMongol University, College of Computer Science, Hohhot 010021,PRC)

第一作者:周建涛

作者机构:[周建涛;叶新铭]内蒙古大学计算机学院!内蒙古呼和浩特010021

来源:内蒙古大学学报(自然科学版),2000,Vol.31,Issue.1

基金:国家自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:可达图;可达树;安全性;有界性;守恒性;活性;可达性;覆盖性;

摘要:Petri网的可达图和可达树都是用于分析Petri网的工具.文章将展示如何用可达图完成Petri网的各项分析,并将可达图与可达树相比较,证明可达图是较 更多

更新时间:Mar 28, 2019
TOP