-
题名基于Petri网的工作流逻辑化简规则的矩阵表示
被引量：8
- 1
-
-
作者
孟永刚
宋文
叶剑虹
-
机构
西华大学数学与计算机科学技术学院
-
出处
《微计算机信息》
北大核心
2006年第07X期49-51,149,共4页
-
基金
四川省科技厅应用基础课题(03226125)
-
文摘
Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
-
关键词
PETRI网
工作流
化简规则
wl_net
WF_logic
-
Keywords
Petri nets, workflow, reducing rules, wl_net, WF_logic.
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名WL_Net在导弹飞行控制软件安全性分析中的应用
- 2
-
-
作者
韩翔宇
石柱
-
机构
北京航天自动控制研究所
中国航天科技集团公司软件评测中心
-
出处
《航天控制》
CSCD
北大核心
2008年第2期82-85,共4页
-
文摘
提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。
-
关键词
工作流逻辑网
飞行控制软件
安全性分析
-
Keywords
wl_net
Flight control software
Safety analysis
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名柔性工作流逻辑建模及其合理性研究
被引量：6
- 3
-
-
作者
部昱晖
唐慧佳
-
机构
西南交通大学信息科学与技术学院
-
出处
《计算机应用》
CSCD
北大核心
2009年第4期1155-1158,共4页
-
基金
国家863计划项目(2007AA04Z188)
-
文摘
随着市场竞争的加剧和企业对提高工作效率的迫切需要,柔性工作流成为研究的热点。为了解决工作流逻辑模型的建立以及动态修改问题,提出了一种以面向对象编程思想为工具,以模型中任务依赖关系为主要研究对象的柔性工作流逻辑网(WL_net)建模方法。通过对存在缺陷的工作流逻辑模型路由结构进行分析,找出了一种模型合理性验证算法。
-
关键词
柔性工作流
动态修改
任务依赖
工作流逻辑网
-
Keywords
flexible workflow
dynamic modification
task dependencies
Workflow Logic net （wl_net）
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
