论文部分内容阅读
以生产者一消费者系统和多处理机系统为例子，讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用，分析了分解后的子系统与原系统的结构和行为方面的对应关系，为基于Petri网的复杂系统分析提供了有效的方法。
基于Petri网分解的系统范例分析
【摘 要】
：
以生产者一消费者系统和多处理机系统为例子，讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用，分析了分解后的子系统与原系统的结构和行为方面的对应关
【机 构】
：
广西师范大学计算机科学与信息工程学院,中南大学信息科学与工程学院
【出 处】
：
广西师范大学学报：自然科学版
【发表日期】
：
2008年2期
【基金项目】
：
国家自然科学基金资助项目（60573010）,广西教育厅科研基金资助项目（2006071x151）
其他文献
目的探讨血府逐瘀汤治疗对老年心肌梗死患者血清超氧化物歧化酶（SOD）、丙二醛（MDA）、一氧化氮（NO）水平的影响。方法老年心肌梗死患者100例,依据随机数表法分为汤药组和常规组,每组5
稿件中尽量减少层次。标题层次一律用阿拉伯数字连续编号。不同层次的数字间加下圆点相隔（即圆点加在数字的右下角），最末数字后面不加标点。例如：第1级标题-1：第2级标题-1．1：第3级标
目的通过检测寻常型银屑病患者血清中p-cad的表达水平，采取病例对照研究探讨其与银屑病发病的关系。方法采用酶联免疫吸附法对病例组和对照组血清中P—cad的表达水平进行检测，
目的探讨阿维A联合窄谱紫外线治疗银屑病的疗效和安全性。方法100例患者随机分为三组，治疗组口服阿维A联合窄谱紫外线照射：对照1组仅窄谱紫外线照射，对照2组仅用口服阿维A。结果
目的探究夏枯草在细胞水平对呼吸道合胞病毒（RSV）的抑制作用及机制。方法采用细胞培养技术,以利巴韦林为对照,通过观察细胞病变效应（CPE）,测定细胞半数中毒浓度（TC50）、药物半数抑
党的十七届六中全会提出了深化文化体制改革,推动社会主义文化大发展大繁荣,努力建设社会主义文化强国的战略目标。在当前转型期社会道德危机事件频出的大背景下,思想道德建
目的探讨补肾解毒通络方对实验性自身免疫性脑脊髓炎（EAE）大鼠外周血CD4~＋、CD8~＋T细胞和脑组织内白细胞介素（IL）-17的影响。方法将60只雌性Wistar大鼠按照随机数字表法分为空白对
针对目前温室无线测控系统中未考虑节点能耗以及网络生命期的问题，提出一种基于Agent的温室无线传感网络分簇管理模型。模型中由本地静态Agent负责簇首选择，由簇内、簇间移动Ag
目的分析红皮病的病因、临床特点及转归。方法回顾性分析57例红皮病的临床资料。结果57例患者．男38例，女19例，平均年龄（48．9±18．8）岁，银屑病引起者25例，占43．9％；药物引起者17例，占29．8