论文部分内容阅读
Petri网是一种有效的形式化建模工具，能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型，将Petri网三要素以对象的形式描述出来，并对此工作流模型的正确性定义和验证进行了说明。
基于Petri网的保险索赔工作流模型
【摘 要】
：
Petri网是一种有效的形式化建模工具，能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型，将Petri网三要素以对象的形式描述出来，并对此工作流模型
【机 构】
：
大连理工大学计算机科学与工程系,河南理工大学计算机信息学院
【出 处】
：
电脑开发与应用
【发表日期】
：
2006年12期
其他文献
为了解断裂涡轮叶片与包容环的撞击过程,研究航空发动机的包容性能,提高飞机飞行安全.在高速旋转试验台上进行了飞断平板叶片与包容环的撞击试验,并采用基于撞击动力学理论的
网络漏洞扫描系四类重要安全工具之一，介绍了其基本概念，并在此基础上提出一个网络漏洞扫描系统模型，该系统的客户端采取远程登录、申请漏洞扫描，然后服务器端启动扫描引擎对目标
为了解决传统单线程模式不能满足Web数据挖掘中对海量数据的处理问题，提供了一种高效可行的多线程并发机制一生产者一消费者模式，并引进了线程池管理，增强了程序的效能，提高了系
粉末冶金材料由于其制造工艺的特点,强度和寿命对微缺陷(夹杂、气孔、表面划伤)十分敏感,导致了粉末冶金材料的破坏具有较大的分散性,使得寿命预测更为困难.本文根据国内粉末
为了阐明不同性质的电解水在控制金黄色葡萄球菌生物被膜中的作用,本研究分别使用酸性、碱性和中性电解水处理生物被膜,并测定处理前后生物被膜生物量、活性、活菌数和构造的
7SGH山地果园双轨运输机以其载重爬坡能力强和无需开垦山路等特点成为山地果园运输农资的重要装备，但运输机的振动会对支撑轨道的稳定性造成影响，运输的货物也会因此受损。本研
压力和温度组合畸变对某涡轮风扇发动机稳定性影响的数值研究表明，该发动机的进口临界压力畸变强度和临界温度畸变强度分别为8．82％和8．60％，风扇的压力畸变敏感系数为2．608，高压压气机