摘要
应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。
This thesis has constructed a Petri-net model for Surety Business Management System Workflow,applying technology of Petri-net-based Modeling and Workflow.Model reduction and properties verification based on Petri net reduction are presented for a Surety Business Management system workflow instance.The research result indicates that this model can effectively analyze and verify a Surety Business Management workflow system.Thus it enriches theory on design and workflow analysis in Surety Business Management system integration.
作者
张信芳
ZHANG Xin-fang(School of Computer Science & Technology,Soochow University,Suzhou 215500,China)
出处
《电脑知识与技术》
2008年第11Z期1149-1151,共3页
Computer Knowledge and Technology