基于Petri网下递归关系的自控网模型  

Recursion Model for Cyber Net System Based on Petri Nets

作　　者：杨松[1] 宋文[1] 卢朝辉[2] 

机构地区：[1]西华大学数学与计算机学院,四川成都610039 [2]河北理工大学自动化学院,河北唐山064009

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

基　　金：四川省科技厅应用基础课题(No.03226125)

摘　　要：自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。Cyber net system is a sub-class of Petri Nets.Compared with Place/Transition system and elementary net system,it has stronger ability of description and modeling.The paper gives the model of elementary four arithmetical calculation and two operators.Thus,a model of direct recursion is created by grade abstract.The method embodies the basic idea for formal software development.

关 键 词：PETRI网 自控网系统 建模 递归关系 

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