基于时间Petri网的工作流系统模型的线性推理

刘 婷; 林 闯; 刘卫东

您当前的位置：

首页 >

文章列表页 >

基于时间Petri网的工作流系统模型的线性推理

论文 | 更新时间：2025-07-16

- 基于时间Petri网的工作流系统模型的线性推理
- Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models
- 电子学报 2002年30卷第2期页码：245-248
- 作者机构：
  
  清华大学计算机科学与技术系,北京,100084
- 作者简介：
- 基金信息：
  
  国家重点基础研究发展规划项目 (No.G1999032707);国家自然科学基金 (No.60173012)
- DOI：
  中图分类号： TP391.7
- 纸质出版：2002
- 稿件说明：
移动端阅览
刘婷, 林闯, 刘卫东. 基于时间Petri网的工作流系统模型的线性推理[J]. 电子学报, 2002,30(2):245-248.

LIU Ting, LIN Chuang, LIU Wei-dong. Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models[J]. Acta Electronica Sinica, 2002, 30(2): 245-248.
刘婷, 林闯, 刘卫东. 基于时间Petri网的工作流系统模型的线性推理[J]. 电子学报, 2002,30(2):245-248. DOI：

LIU Ting, LIN Chuang, LIU Wei-dong. Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models[J]. Acta Electronica Sinica, 2002, 30(2): 245-248. DOI：

摘要

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析

很少有人研究与时间有关的工作流模型的性质

特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题

用时间Petri网表示工作流模型并对基本工作流模型进行时序分析

给出线性时间推理的规则

运用这些规则

可对复杂的工作流模型进行逐步化简

并在线性时间复杂度内解决时间推理问题.

Abstract

The research on workflow has been focused on the verification of workflow task structure

but few have paid attention to the properties of the models

which are closely related to the time

especially the problems of temporal inference and performance calculation.In this paper

we research on this aspect.Timed Petri Nets are used to model workflows as well as analyze the temporal relations of the model.A set of linear inference rules is put forward.Using these rules

we can simplify the complicated model step by step

and solve the inference problem within linear time complexity.

关键词

Keywords

references

浏览量

1202

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种新的RBAC角色协同关系及其Petri网模型