Timing boundedness verification and analysis of workflow model

Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS

Volumn 8, Issue 10, 2002, Pages 770-775

  Li, Jian Qiang ^a   Fan, Yu Shun ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Model decomposition; Time boundedness; Workflow model; Workflow net

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; ENTERPRISE RESOURCE PLANNING; MANAGEMENT; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; PETRI NETS;

MODEL DECOMPOSITION; TIME BOUNDEDNESS; WORKFLOW MANAGEMENT COALITION; WORKFLOW MODELS; WORKFLOW NETS;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 0036817708     PISSN: 10065911     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)

1. FAN Yushun. Fundamentals of workflow management technology [M]. Beijing: TUP, Springer, 2001(in Chinese).
2. VAN DER AALST W M P. The application of Petri nets to workflow management[J]. The Journal of Circuits, Systems and Computers, 1998, 8(1): 21-66.
3. Workflow Management Coalition. Interface 1: process defition interchange, process model [R]. Document Number WfMC, 1998.
4. BEST E. Structure theory of petri nets: the free choice hiatus [A]. BRAUER W, et al. Advances in Petri nets 1986 Part I: Petri Nets, central models and their properties[C]. Berlin: Springer-Verlag, 1987. 168-206.
5. Murata. Petri nets: properties, analysis and applications[A]. Proceeding of the IEEE(Vol.77. No.4)[C].IEEE, 1989.
6. DALLERY Y, LIU Z, TOWSLEY D. Quivalence, reversibility and symmetry properties in fork/join queueing networks with blocking[R]. Paris: Univ.Paris, 1990.