10.3969/j.issn.1009-3044.2008.32.052
担保业务管理系统工作流的Petri网建模
应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础.
Petri网、工作流、担保业务
4
TP311(计算技术、计算机技术)
2009-02-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
1149-1151