基于Petri网的分析方法简述

• 作者: 娄志刚 李静
• 来源期刊: 企业技术开发（下半月）
• 学科: 工学
• 关键词: Petri网 Petri网语言 可达性 不变量 死锁
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 信息科学
• 页码范围: 78-79
• 分类号: TP393.01
• 字数: 2034字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-8937.2011.07.050

摘要

对数学和图形进行描述和分析的工具很多,但能用良好的数学性质把一些复杂的现象(例如,同步、并发、分布、冲突、资源共事等)描述的直观、生动形象的工具很少,而Petri网就具有这些优点.在分布式系统、信息系统、离散事件系统等领域,都可以利用Petri网对离散事件动态系统建模、规范分析和设计,而且非常好.Petri网有很多分析方法,文章就作简要概述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	娄志刚	黄河科技学院教务处	8	2	1.0	1.0
2	李静	黄河科技学院现代教育技术中心	29	76	4.0	7.0