基于petri网的文件审批系统工作流建模
以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证。结果证明,该技术能够在文件审批系统中进行建模和可行性验证。
用户评论
推荐下载
-
基于本体的工作流知识管理系统设计
Design of Workflow Knowledge Management System Based on Ontology
34 2019-06-23 -
基于ASP.NET的工作流审核系统
这是基于ASP.NET的工作流审核系统,他是基于.NET3.5框架的WF技术实现的,希望对大家有所帮助
31 2019-07-07 -
开源基于工作流的学报审稿系统
系统架构:Struts2+spring2.5+hibernate3.0+jbpm4.3+jQuery+sqlserver2000,上传的文件为源代码的下载地址
19 2019-09-28 -
基于JBPM工作流的OA办公系统.zip
您好系统说明如下1系统源码导入Eclipse MyEclipse等IDE发布到应用服务器例如Tomcat上即可运行.2导入系统后请将系统编码设置为UTF8不是GBK.SQL导入也是UTF8编码.3导入
11 2023-01-31 -
基于web service的工作流系统实现研究
基于web service 的工作流系统实现研究,易懂,了解一个基于web service工作流系统的总体结构,对系统有一定概念
31 2018-12-29 -
工作流建模分析优化系统需求说明书
工作流程建模 流程分析 流程优化 系统分析设计说明书
18 2019-01-13 -
一种基于UML活动图的工作流建模方法
本文分析了目前存在的工作流建模方法,提出了一种基UML 活动图的工作流过程建模方法,扩 展了基本的UML 活动图的元素。并把这种方法应用到实际项目中去,验证了其可行性和有效性,基本满足 工作流建模需求
25 2019-01-15 -
基于Pi演算的跨组织工作流建模研究
传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并
9 2021-02-23 -
Petri网建模工具PIPE
Petri网建模工具---用于时间Petri网的建模、分析、仿真、验证等,是一款不错的仿真工具
33 2020-05-31 -
HPSim petri网建模软件
HPSimpetri网建模软件信息系统建模
47 2019-05-15
暂无评论