基于Petri网的分析方法简述  

作　　者：李静[1] 娄志刚[2] 

机构地区：[1]黄河科技学院现代教育技术中心,河南郑州450063 [2]黄河科技学院教务处,河南郑州450063

出　　处：《企业技术开发（下半月）》2011年第7期78-79,共2页

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

关 键 词：PETRI网 PETRI网语言 可达性 不变量 死锁 

分 类 号：TP393.01[自动化与计算机技术—计算机应用技术]