基于逻辑工作流网的有限无死锁组合

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。

基于工作流网的实时协同系统模拟技术

基于Petri网和工作流的概念 ,提出一种实时协同系统的形式化模拟与分析技术———逻辑工作流网 .逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展 ,其变迁的输入 /输出受逻辑表达式的约束 .它与一般工作流网相比 ,能够在一定程度上缓解状态空间爆炸问题 ,且便于系统设计人员掌握和使用 .该文分析了逻辑工作流网的若干性质及组合网的性质继承问题 ,并以网上企业销售系统为例 ,说明逻辑工作流网在实时协同系统模拟分析中的应用 .

基于Petri网的协同工作流建模与分析

为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。

柔性工作流逻辑建模及其合理性研究

随着市场竞争的加剧和企业对提高工作效率的迫切需要,柔性工作流成为研究的热点。为了解决工作流逻辑模型的建立以及动态修改问题,提出了一种以面向对象编程思想为工具,以模型中任务依赖关系为主要研究对象的柔性工作流逻辑网(WL_net)建模方法。通过对存在缺陷的工作流逻辑模型路由结构进行分析,找出了一种模型合理性验证算法。

一种Colored WF_logic Net的工作流过程建模

结合着色Petri网和WL_net相关理论,提出有色工作流逻辑网(CWL_net)这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL_net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。

WL_Net在导弹飞行控制软件安全性分析中的应用

提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。