| 基于Petri网下递归关系的自控网模型 |
| |
| 引用本文： | 杨松,宋文,卢朝辉. 基于Petri网下递归关系的自控网模型[J]. 西华大学学报(自然科学版), 2007, 26(5): 74-77 |
| |
| 作者姓名： | 杨松 宋文 卢朝辉 |
| |
| 作者单位： | 西华大学数学与计算机学院,四川,成都,610039;河北理工大学自动化学院,河北,唐山,064009 |
| |
| 基金项目： | 四川省应用基础研究计划 |
| |
| 摘 要： | 自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。
|
| 关 键 词： | Petri网 自控网系统 建模 递归关系 |
| 文章编号： | 1673-159X（2007）05-0074-04 |
| 修稿时间： | 2006-12-11 |
Recursion Model for Cyber Net System Based on Petri Nets |
| |
| YANG Song,SONG Wen,LU Zhao-hui. Recursion Model for Cyber Net System Based on Petri Nets[J]. Journal of Xihua University(Natural Science Edition), 2007, 26(5): 74-77 |
| |
| Authors: | YANG Song SONG Wen LU Zhao-hui |
| |
| Abstract: | |
| |
| Keywords: | petri net cyber net system modeling recursion |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
