文献类型：期刊文章

作　　者：曾庆田[1]

机构地区：[1]山东科技大学计算机科学与技术系,山东青岛266510

出　　处：《小型微型计算机系统》

基　　金：国家自然科学基金 (60 173 0 5 3 ;60 2 740 63 )资助 ;山东省中青年科学家科研奖励基金 (0 2 BS0 69)资助 .

年　　份：2005

卷　　号：26

期　　号：2

起止页码：226-229

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：Petri网的分解技术是用于复杂网系统分析的一种有效手段 .基于库所指标的 Petri网分解方法 ,将一个复杂的网系统分解成结构简单的子网 ,分解后的子网保持原网系统的语言行为不变当且仅当具有公共变迁的子网的可达图关于公共变迁是同构的 .若分解过程中保持系统的语言行为不变 ,则在 Petri网的活性和公平性方面有着对应关系 .本文基于分解给出了 Petri网活性判定的充要条件和公平性判定的定理 ,对基于分解的复杂系统的 Petri网分析方法提供了更为有效的理论和可行的技术 .

关 键 词：PETRI网 分解  语言 活性 公平性  

分 类 号：TP18]