论文部分内容阅读
应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。
担保业务管理系统工作流的Petri网建模
【摘 要】
：
应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明
【机 构】
：
苏州大学计算机科学与技术学院
【出 处】
：
电脑知识与技术：学术交流
【发表日期】
：
2008年11Z期
其他文献
随着当今社会经济快速的发展消耗了大量的传统石化能源。传统石化能源的日益短缺与社会经济发展对能源的旺盛需求形成了尖锐的能源供需矛盾。如果不改变目前的能源消费结构、
中央经济工怍会议于2008年12月8日至10日在北京举行，会议对2009年经济工作做出了一系列重大决策和全面部署，意义重大，举世关注。会议释放出以下几方面强烈的政策信号：
目的 了解儿童中枢神经系统感染细菌的菌种构成及其耐药性,为临床合理使用抗菌药物提供参考依据.方法 统计2011-06-2013-06我院1 482份中枢神经系统感染患儿脑脊液分离培养结
目的：分析口腔颌面创伤致神经损伤的临床特点。方法选取2013‐04—2015‐04我院诊断为口腔颌面部骨折的住院患者235例，采用回顾性研究方法，采集患者的性别、年龄、创伤部位、创
金融危机后美国经常账户赤字的大幅收窄，同时美国在亚洲的主要贸易伙伴国的贸易顺差也大幅收窄，但伴随着欧元区从重要逆差地区，变成了有小规模顺差的地区，以及德国的经常账户盈余
黑客利用计算机网络自身存在的缺陷对计算机进行攻击,使计算机用户深受其害。因而只有采取强有力的安全策略,才能保障计算机的安全。
8月7日，数字电视国家工程研究中心在上海浦东成立，上海数字电视国家工程研究中心有限公司作为中心的法人实体，也一起揭牌。该工程中心经国家发改委批准成立，主要业务包括数字电视