Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models

LIU Ting; LIN Chuang; LIU Wei-dong

您当前的位置：

首页 >

文章列表页 >

Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models

更新时间：2025-07-16

- Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models
- Acta Electronica Sinica Vol. 30, Issue 2, Pages: 245-248(2002)
- 作者机构：
  
  清华大学计算机科学与技术系,北京,100084
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP391.7
- Published：2002
- 稿件说明：
移动端阅览
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：

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

Views

1202

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Novel Role Coordination Relation of RBAC and Its Petri Net Model

Related Author

WANG Xiao-ming

ZHAO Zong-tao

MA Jian-feng

Related Institution

Department of Computer Science,NorthWest University

School of Computer Science, Shaanxi Normal University

The Ministry of Education Key Lab for Computer Networks and Information Security,Xidian University,,Shannxi

Department of Computer ScienceNorthWest UniversityXi'anShaanxi 710069China

School of Computer ScienceShaanxi Normal UniversityXi'anShaanxi 710062China

⁰