Linear temporal inference of workflow management system based on timed Petri net models

Tien Tzu Hsueh Pao/Acta Electronica Sinica

Volumn 30, Issue 2, 2002, Pages 245-248

  Liu, Ting ^a   Lin, Chuang ^a   Liu, Wei Dong ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Linear inference; Timed Petri nets; Workflow management systems

Indexed keywords

CALCULATIONS; COMPUTATIONAL COMPLEXITY; INFERENCE ENGINES; INFORMATION MANAGEMENT; MATHEMATICAL MODELS; PETRI NETS; THEOREM PROVING; TIME SERIES ANALYSIS;

LINEAR INFERENCE; LINEAR INFERENCE TIME COMPLEXITY; TASK STRUCTURE; TIMED PETRI NETS; WORKFLOW MANAGEMENT SYSTEMS;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 0036486281     PISSN: 03722112     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. The application of Petri nets to workflow management
2. Three good reasons for using a Petri-net-based workflow management system
3. Dynamic change within workflow systems
4. Verification of workflow test structures
5. On temporal logic programming using Petri nets
6. A petri net model for temporal knowledge representation and reasoning
7. Logical inference of clauses based on Petri net models
8. Logical inference of Horn clauses in Petri net models