论文部分内容阅读
Petri网是一种适用于多种系统的图形化、数学化的建模工具，并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析，完善并改进了一种基于Petri网的工作流模型合理性验证算法，最后用实例验证了该算法的正确性。
基于Petri网的工作流建模合理性验证算法
【摘 要】
：
Petri网是一种适用于多种系统的图形化、数学化的建模工具，并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析，完
【机 构】
：
北京科技大学经济管理学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年13期
其他文献
光滑函数在支持向量机中起着重要作用，熊金志等人用插值函数的方法导出了一个递推公式，得到了一类新的光滑函数，解决了一个关于是否存在以及如何寻求性能更好的光滑函数的问题。
近年来剖宫产手术的比例在不断上升，仅2013年6~11月本院就有约50％的产妇接受了剖宫产手术。剖宫产术术前需常规禁食、禁饮、备皮、留置导尿管等。其中很多产妇对留置导尿管都有
目的探讨吸烟者血管内皮依赖性舒张功能与氧化应激的关系，及其普伐他汀治疗的影响。方法应用随机、交叉设计方法。吸烟者30例接受30天普伐他汀（20mg／d）和30天安慰剂治疗，30名健康
目的:分析血液透析滤过联合血液灌流治疗尿毒症脑病(UE)的临床效果。方法:选取该院2014年1月至2015年12月32例尿毒症脑病患者,运用随机分组法分为观察组(n=16)及对照组(n=16)
目的比较腹腔镜与开腹筋膜内子宫切除术治疗子宫肌瘤的效果。方法选取2012年8月—2013年6月本院接诊的76例子宫肌瘤患者,将其中行腹腔镜筋膜内子宫切除术的34例患者设为观察
目的:探讨持续低效每日血液透析滤过(SLEDD-f)对尿毒症脑病患者的疗效和安全性。方法:46例尿毒症脑病患者,分为SLEDD-f及连续性静脉静脉血液滤过(CVVH)/连续性动脉静脉血液滤
急性心肌梗死（AMI）是心内科常见的急症之一,文献报道有25%的急性心肌梗死患者的心电图呈不典型表现,加之患者临床表现的千差万别,使其诊断难度加大,急性心肌梗死的心电图诊断有