作者:
原文服务方: 微电子学与计算机       
摘要:
文章以结构化的作业网络(JNW)为模型,在描述作业控制流中的基本路由结构:顺序、循环、选择和并行的基础上,将Petri网引入到JNW的建模中,并用Petri网的可达图来检验作业网络模型的正确性.
推荐文章
应用Petri网改进BPEL程序的正确性
组合Web服务
可执行流程语言
Petri网
变迁触发序列
主体计划的Petri网方法及正确性验证
多主体
计划
Petri网
同步器
基于Petri网的AADL模型正确性验证研究
体系结构分析和设计语言
Petri网
运行状态
映射
关联矩阵
基于Petri网化简技术的工作流模型正确性研究
Petri网
工作流
模型正确性
化简技术
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于Petri网的作业网络模型的正确性研究
来源期刊 微电子学与计算机 学科
关键词 作业管理系统 作业网络模型 Petri网 可达图、集群、网格
年,卷(期) 2006,(7) 所属期刊栏目
研究方向 页码范围 214-216
页数 3页 分类号 TP31
字数 语种 中文
DOI 10.3969/j.issn.1000-7180.2006.07.063
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 侯俊 西北工业大学自动化学院 18 111 6.0 9.0
2 齐震 西北工业大学自动化学院 2 25 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (8)
共引文献  (11)
参考文献  (5)
节点文献
引证文献  (3)
同被引文献  (9)
二级引证文献  (4)
1994(2)
  • 参考文献(0)
  • 二级参考文献(2)
1995(2)
  • 参考文献(1)
  • 二级参考文献(1)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(2)
  • 参考文献(1)
  • 二级参考文献(1)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(2)
  • 引证文献(1)
  • 二级引证文献(1)
2014(1)
  • 引证文献(0)
  • 二级引证文献(1)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2016(1)
  • 引证文献(0)
  • 二级引证文献(1)
2020(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
作业管理系统
作业网络模型
Petri网
可达图、集群、网格
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
微电子学与计算机
月刊
1000-7180
61-1123/TN
大16开
1972-01-01
chi
出版文献量(篇)
9826
总下载数(次)
0
总被引数(次)
59060
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导