基于自控网系统的批处理建模及分析  

Modeling and Analysis of Batch Processing Based on Cyber-net System

作　　者：赵明峰[1] 宋文[1] 杨松[1] 

机构地区：[1]西华大学数学与计算机学院,四川成都610039

出　　处：《西华大学学报（自然科学版）》2006年第4期24-26,共3页Journal of Xihua University:Natural Science Edition

基　　金：四川省科技厅应用基础课题;编号:03226125

摘　　要：自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。文章以自控网系统为基础,定义了相应的规则,并对一个成品自动化加工批处理过程进行建模,得到自控网模型,运用可达图分析技术对该模型进行了动态行为的分析,得出该模型是结构活性的。A cyber-net system,which is a subnet of Petri-net system,compared with P/T system,has better description and modeling ability. Based on it,some regulations are defined to model a process of product batch processing and it is feasible by Petri-net analysis technology.

关 键 词：自控网系统 建模 结构活性 并发 可达图 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]