论文部分内容阅读
应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。
担保业务管理系统工作流的Petri网建模
【摘 要】
：
应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明
【机 构】
：
苏州大学计算机科学与技术学院
【出 处】
：
电脑知识与技术：学术交流
【发表日期】
：
2008年11Z期
其他文献
随着当今社会经济快速的发展消耗了大量的传统石化能源。传统石化能源的日益短缺与社会经济发展对能源的旺盛需求形成了尖锐的能源供需矛盾。如果不改变目前的能源消费结构、
目的 了解儿童中枢神经系统感染细菌的菌种构成及其耐药性,为临床合理使用抗菌药物提供参考依据.方法 统计2011-06-2013-06我院1 482份中枢神经系统感染患儿脑脊液分离培养结
目的：分析口腔颌面创伤致神经损伤的临床特点。方法选取2013‐04—2015‐04我院诊断为口腔颌面部骨折的住院患者235例，采用回顾性研究方法，采集患者的性别、年龄、创伤部位、创
黑客利用计算机网络自身存在的缺陷对计算机进行攻击,使计算机用户深受其害。因而只有采取强有力的安全策略,才能保障计算机的安全。