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

摘要：

自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力.文章以自控网系统为基础,定义了相应的规则,并对一个成品自动化加工批处理过程进行建模,得到自控网模型,运用可达图分析技术对该模型进行了动态行为的分析,得出该模型是结构活性的.

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

所属期刊栏目：25

分类号：TP306(计算技术、计算机技术)

资助基金：四川省应用基础研究计划03226125

在线出版日期：2006-08-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：24-26