[1]冯林 姜浩.基于时间约束Petri网的工作流可调度性分析[J].计算机技术与发展,2006,(11):34-37.
　FENG Lin,JIANG Hao.Analysis of Workflow Schedulability Based on Time Constraint Petri Nets[J].,2006,(11):34-37.
点击复制

基于时间约束Petri网的工作流可调度性分析()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2006年11期
页码:
34-37
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Analysis of Workflow Schedulability Based on Time Constraint Petri Nets
文章编号:
1673-629X（2006）11-0034-04
作者:
冯林 姜浩
东南大学计算机科学与工程系
Author(s):
FENG Lin; JIANG Hao
Dept. of Computer Sci, ＆ Tech., Southeast Univ
关键词:
工作流; 时间约束Petri网; 模型分析; 可调度性
Keywords:
workflow;  time constraint Petri nets ; models analysis;  schedulability
分类号:
TP311.5
文献标志码:
A
摘要:
引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数，不仅可以对工作流中的活动进行时间约束，而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上，提出了对工作流可调度性分析验证方法及其相应的算法，最后通过一个实例说明了分析验证的过程
Abstract:
It is important for workflow re.arch to introduce time to control execution of workflow effectively. Firstly, time is introcluced to workflow models based on Petri nets, and activities in workflow processes are constrained by time. The time constraint Petri net model of workflow is established. Then, based on analysis of time constraint and schedulability of models, the analysis and verification method and corresponding algorithm are proposed. Finally, the analysis and verification process are illustrated by an example

相似文献/References:

[1]刘林钢 姜浩.基于时间约束Petri网的一致性验证算法[J].计算机技术与发展,2010,(01):54.
　LIU Lin-gang,JIANG Hao.Verification Algorithm of Consistency Based on Time Constraint Petri Nets[J].,2010,(11):54.
[2]申屠晓丽 姚明海 汤幸江.工作流管理系统的柔性技术研究与应用[J].计算机技术与发展,2010,(01):116.
　SHENTU Xiao-li,YAO Ming-hai,TANG Xing-jiang.Research and Application of Flexible Technology for Workflow Management System[J].,2010,(11):116.
[3]张月菊 王涛 林拉.跨组织工作流集成中间件语义转换部件研究[J].计算机技术与发展,2010,(03):92.
　ZHANG Yueoju,WANG Tao,LIN La.Research on Structure for Semantic Translation in Cross- Organizational Workflow Integrated System[J].,2010,(11):92.
[4]杨平乐 刘树森 高雅.基于ADO.NET学生信息管理系统的设计与实现[J].计算机技术与发展,2010,(05):238.
　YANG Ping-le,LIU Shu-sen,GAO Ya.Student Information Management System Design and Implementation Based on ADO.NET[J].,2010,(11):238.
[5]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(11):51.
[6]李敏 曹宝香 郑垒.一种工作流模型的模拟与分析[J].计算机技术与发展,2009,(06):131.
　LI Min,CAO Bao-xiang,ZHENG Lei.Simulation and Analysis of a Workflow Model[J].,2009,(11):131.
[7]董崇杰 傅秀芬 王凤梅 唐志成 顾牡丹.基于J2EE的公安厅审计信息系统的设计与实现[J].计算机技术与发展,2009,(09):246.
　DONG Chong-jie,FU Xiu-fen,WANG Feng-mei,et al.Design and Implementation of a Public Security Department Audit Information System Based on J2EE[J].,2009,(11):246.
[8]陈伟 文东戈 王昊.层次颜色工作流Petri网建模与应用[J].计算机技术与发展,2009,(01):49.
　CHEN Wei,WEN Dong-ge,WANG Hao.Modeling and Application of Hierarchical Colored Workflow Net[J].,2009,(11):49.
[9]蒋永 蒋玉明 彭思达.基于工作流用户权限管理模型的研究与设计[J].计算机技术与发展,2009,(01):161.
　JIANG Yong,JIANG Yu-ming,PENG Si-da.Research and Design of User Rights Management Model Based on Workflow[J].,2009,(11):161.
[10]张猛 侯秀萍 王烨 赵云峰[].工作流失败恢复的研究[J].计算机技术与发展,2009,(04):65.
　ZHANG Meng,HOU Xiu-ping,WANG Ye,et al.Research on Workflow Failure Recovery[J].,2009,(11):65.
[11]孙智坚 姜浩.基于时间约束Petri网的工作流动态一致性检验[J].计算机技术与发展,2006,(09):50.
　SUN Zhi-jian,JIANG Hao.Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets[J].,2006,(11):50.

备注/Memo

备注/Memo:
冯林（1982-），男，四川遂宁人，硕士研究生，研究方向为工作流；姜浩，副教授，研究方向为工作流应用研究
更新日期/Last Update: 1900-01-01