Petri网的可达树分析法及其应用研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:pkuai
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 一、引言 Petri网的理论是使用数学和图形进行研究系统的工具。它不仅能适用于计算机科学和技术这样的研究领域,而且也能适用于社会、物理等研究领域,具有较广的适应性。应用Petri网首先要对系统建模(Modeling),建模的重要作用是能使用Petri网的分析方法对系统进行分析,这些分析能揭示系
其他文献
超声造影是近年来发展很快的新技术,对肝内病变特别是微小病灶的检出率较前明显提高。本研究应用新型造影剂SonoVue,探讨超声造影在肝脏各种局灶病变的诊断价值。现就54例进行
目的探讨辛伐他汀对不稳定型心绞痛患者纤溶活性的疗效。方法不稳定性心绞痛患者61例随机分为两组,常规组所有患者在无禁忌证的情况下均口服阿斯匹林、β受体阻滞剂、硝酸酯
本文从程序设计的实质开始,讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题,提出了我们的看法并且论述了形式方法的分类,结合若干典型例子,对各类方
阴道炎是育龄妇女常见生殖道感染性疾病,其中有些属于性传播性疾病。阴道分泌物检测是诊断阴道炎的主要依据。2006年4月-2011年8月,我科对447例普查体检妇女阴道分泌物进行检测
目的探讨手术治疗老年股骨转子间骨折的疗效。方法手术治疗65岁以上股骨转子间骨折患者52例,其中动力髋螺钉固定32例,外固定支架固定14例,经皮空心加压螺钉固定6例。结果48例随
本文给出一种支持程序验证的模块方法,并讨论了基于函数语义的模块验证,程序可划分为若干个模块,模块本身又可划分为若干个更小的子模块,其验证独立进行。将独立验证过的各子模块
<正>一、前言许多代表人类智能最高成就的重大科技发现源于类比学习。如果智能计算机具有模拟人类学习的功能,则可能让机器帮助人去发现新的科学规律和提出新的科学假说。
<正>1.引言对于计算机系统,传统的设计方法很少考虑用户的使用效率方面的问题.在人机界面的研究方面投入甚少.使设计出的系统功能复杂.普通用户不能
<正> “什么是智能”已成为哲学家、脑科学家、心理学家、计算机人工智能(AI)专家所共同面临的挑战。面对这一挑战,AI科学家除了应战别无选择,因为AI发展的历史和现状都已证
最近,嵌套关系模型语言及复杂对象语言的研究已引起人们的广泛重视。这些语言有些是代数结构的,有些是基于演算的,还有的是面向逻辑程序设计的。本文将介绍这些语言的发展概况、