| 基于Petri网的作业网络模型的正确性研究 |
| |
| 引用本文： | 侯俊,齐震.基于Petri网的作业网络模型的正确性研究[J].微电子学与计算机,2006,23(7):214-216. |
| |
| 作者姓名： | 侯俊 齐震 |
| |
| 作者单位： | 西北工业大学自动化学院,陕西,西安,710072 |
| |
| 摘 要： | 文章以结构化的作业网络（JNW）为模型，在描述作业控制流中的基本路由结构：顺序、循环、选择和并行的基础上，将Petri网引入到JNW的建模中，并用Petri网的可达图来检验作业网络模型的正确性。
|
| 关 键 词： | 作业管理系统 作业网络模型 Petri网 可达图、集群、网格 |
| 文章编号： | 1000-7180(2006)07-003 |
| 收稿时间： | 2005-05-10 |
| 修稿时间： | 2005-05-10 |
Research on the Correctness of Job Network Model Based on Petri Net |
| |
| HOU Jue,QI Zhen.Research on the Correctness of Job Network Model Based on Petri Net[J].Microelectronics & Computer,2006,23(7):214-216. |
| |
| Authors: | HOU Jue QI Zhen |
| |
| Abstract: | This paper adopts the structured Job Network System as the model, describes the basic route structure (sequence, cycle, select and parallel) in the job control flow. On the basis of this structure, it imports Petri net into the model of JNW and tests the correctness of Job Network Model with the reachable chart of the Petri Net. |
| |
| Keywords: | JMS JNW Petri Net Reachable chart Cluster Grid |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
