| 基于时间约束Petri网的工作流可调度性分析 |
| |
| 引用本文： | 冯林,姜浩. 基于时间约束Petri网的工作流可调度性分析[J]. 微机发展, 2006, 16(11): 34-37 |
| |
| 作者姓名： | 冯林 姜浩 |
| |
| 作者单位： | 东南大学计算机科学与工程系 江苏南京210096 |
| |
| 摘 要： | 引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数,不仅可以对工作流中的活动进行时间约束,而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上,提出了对工作流可调度性分析验证方法及其相应的算法,最后通过一个实例说明了分析验证的过程。
|
| 关 键 词： | 工作流 时间约束Petri网 模型分析 可调度性 |
| 文章编号： | 1673-629X(2006)11-0034-04 |
| 修稿时间： | 2006-01-17 |
Analysis of Workflow Schedulability Based on Time Constraint Petri Nets |
| |
| FENG Lin,JIANG Hao. Analysis of Workflow Schedulability Based on Time Constraint Petri Nets[J]. Microcomputer Development, 2006, 16(11): 34-37 |
| |
| Authors: | FENG Lin JIANG Hao |
| |
| Abstract: | It is important for workflow research to introduce time to control execution of workflow effectively.Firstly,time is introduced 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. |
| |
| Keywords: | workflow time constraint Petri nets models analysis schedulability |
| 本文献已被 CNKI 等数据库收录！ |
|
