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

• 作者: 卢朝辉 宋文 杨松
• 来源期刊: 西华大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 自控网系统 建模 递归关系
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 软件理论与技术
• 页码范围: 74-77
• 页数: 4页
• 分类号: TP301.2
• 字数: 2673字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-159X.2007.05.023

摘要

自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力.本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型.这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢朝辉	河北理工大学自动化学院	7	13	2.0	3.0
2	宋文	西华大学数学与计算机学院	35	113	6.0	9.0
3	杨松	西华大学数学与计算机学院	2	6	1.0	2.0