论文部分内容阅读
通过模型分析发现所描述的过程定义中的设计错误，以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱模型转化为Petri网，接着将Petri网进行必要化简，最后对化简后的Petri网进行死锁等分析。
基于Petri网的工作流模型的分析
【摘 要】
：
通过模型分析发现所描述的过程定义中的设计错误，以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱模型转化为Petri网，接着将Petri网进行必要化简，最后对化简后的Pe
【机 构】
：
西安科技大学基础部,西北工业大学计算机学院,西北大学计算机科学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年3期
【基金项目】
：
国家自然科学基金资助项目(60373108)。
其他文献
清代名医程钟龄所著<医学心悟>中创制的治咳方一止嗽散,流传至今,为历代医家广为化裁应用,经久不衰.药物组成:紫菀、百部、桔梗、白前、橘红、甘草、荆芥(以下简称原方).笔者
营改增概述5月1日起,营改增试点已在全国范围内全面推开,建筑业、房地产业、金融业和生活服务业等纳入试点范围。很多造价人员认为营改增是税制的改革,是财务人员的事情,与造
本文主要论述了医用电子仪器的电击防护措施。防止电击的基本方法主要有两种,一是使病人与所有接地物体和所有电源绝缘起来;二是将病人所能够接触到的导电部分表面都保持在同
在初中数学教学中,生活化课堂起着十分重要的作用,但是如何做到让数学回归生活化却不是一件容易的事,在本文中,将对数学生活化的意义进行分析,进而探讨如何构建初中数学生活
区域经济的大发展离不开具有当地特色现代职业教育的有力支持。现代职教体系具有接受教育的终身性、教育设置的层次性、职教办学的开放性和办学主体的多元性等四个基本特征。
中药对阿尔茨海默病（Alzheimer’s disease，AD）的临床研究已开展多年，取得了阶段性的进展，特别是近年来地黄饮子在防治阿尔茨海默病上逐渐表现出了明显的优势，并通过实验研究对其机
对黄土高原西北部地区压砂西瓜进行了硼、钾肥效应试验,研究了CK(N)、NB0.1、NB0.2、NB0.3、NK、NKB0.1、NKB0.2、NKB0.38个施肥处理对压砂西瓜产量和品质的影响。结果表明,
资产价格波动是金融风险的重要指标,伴随中国经济的不断开放,中国资产价格受到了美国货币冲击的影响。本文通过相关性和因果关系分析表明,美国联邦基金利率与以贴现率表示的
台湾橙果设计有限公司(DEM Inc.)因其杰出的设计能力,创建仅五年便开始享誉国际。橙果设计公司创建者、董事长蒋友柏先生作为蒋家后人,刻意远离政治,选择设计作为振兴之道,而
目的:观察香菊胶囊在慢性鼻-鼻窦炎患者鼻内镜术后的应用疗效。方法:选取116例慢性鼻-鼻窦炎患者,随机分为观察组和对照组各58例,观察组患者术后在常规治疗基础上口服香菊胶