基于Petri网的组件化工作流模型研究

来源 :微计算机信息 | 被引量 : 0次 | 上传用户:jialufeng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文采用组件化的方法,通过Petri网对工作流过程模型进行组件形式的建模,以降低建模的难度,提高建模的效率,提高模型的可复用性和移植性:并以建立网络科技信息资源加工审核系统模型为例,阐述了组件化建立工作流网的过程,并通过基于不变量的方法对工作流网的活性和有界性进行分析,验证了模型的可行性.
其他文献
目的:研制一种新型金属网球后凸成形装置,探讨应用其治疗骨质疏松性椎体压缩骨折的可行性.方法:利用镍钛记忆合金的超弹性,采用镍钛合金丝编织具有超弹性能的金属网球,应用可
目的 观察红外激光治疗糖尿病周围神经病变的疗效.方法 将74例糖尿病周围神经病变患者随机分为常规治疗组(常规组,39例)和红外激光治疗加常规治疗组(红外激光组,35例),通过对
中小企业是我国国民经济的重要组成部分,对经济发展和社会稳定起着举足轻重的作用。但由于其产出规模小、资本和技术构成较低,受传统体制和外部宏观经济影响大等因素制约,中
目的 探讨抑制枯否(Kupffer)细胞核因子κB(Nuclear factor-kappaB,NF κB)活性对减轻大鼠移植肝缺血/再灌注损伤(IRI)的作用和机制.方法 建立大鼠肝移植缺血/再灌注损伤模型
目的为了明确血红素加氧酶-1的高表达对大鼠减体积肝移植生存的影响,进而探索出一条有效地防止小体积移植肝缺血再灌注损伤的方法。方法利用分子生物学方法构建携带有HO-1基
目的 探讨注射供者的肝匀浆提取液对大鼠淋巴细胞功能及大鼠异位移植心的影响.方法 以Wistar大鼠为供者,SD大鼠为受者.制作Wistar大鼠的肝匀浆提取液;建立大鼠同种异体异位心
文章介绍了高校图书馆视听资料种类、特点,分析了当前高校视听资料化现状,提出了视听资料网络化管理更科学的见解.
目的探讨母亲饮食因素在神经管畸形(NTD)发病中的作用。方法选择山西省出生缺陷高发的平定、昔阳、太谷和泽州4个县,进行以人群为基础的出生缺陷病例对照研究。病例为2003年1
目的了解医学生艾滋病预防知识的现况及需求,评价健康教育讲座的干预效果。方法随机整群抽取医学低年级学生,集中研究对象,由专家进行专题讲座。研究对象在干预前后分别填写
根据工程不同的地质条件选择合理的防渗结构,不仅是工程的安全运行的需要,也是降低工程造价的要求。苏只水电站堆石坝工程根据左右岸阶地地形及总工期施工安排,对于上游围堰