Petri网的动态行为研究方法分析

• 作者: 宋文 杨博
• 来源期刊: 西华大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 结构技术 研究方法
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 61-63
• 页数: 3页
• 分类号: TP393
• 字数: 3454字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-159X.2008.03.021

摘要

Petri网是适应于形式化软件开发的很好的描述工具.Petri网理论研究分为建模与验证两个方面,结构技术是Petri网的验证技术的基本方法之一,其主要核心是基于死锁,基于这一方法的研究已取得一些很好的结果,但死锁的个数足网规模的指数阶的.这就意味着目前有关网的理论研究结果与实用的验证方法有着一条难于逾越的鸿沟.本文对Petri网的动态行为研究方法给出了一个较为详尽的概述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋文	西华大学数学与计算机学院	35	113	6.0	9.0
2	杨博	西华大学数学与计算机学院	1	1	1.0	1.0