A three-layer model for business processes - Process logic, case semantics and workflow management

Journal of Computer Science and Technology

Volumn 22, Issue 3, 2007, Pages 410-425

  Yuan, Chong Yi ^a   Zhao, Wen ^a   Zhang, Shi Kun ^a   Huang, Yu ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

Petri Net; Synchronizer; WF net; Workflow logic; Workflow modeling

Indexed keywords

WORKFLOW LOGIC; WORKFLOW MODELING;

CHAOTIC SYSTEMS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; SEMANTICS; SYNCHRONIZATION;

ADMINISTRATIVE DATA PROCESSING;

EID: 34249862671     PISSN: 10009000     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11390-007-9057-z     Document Type: Article

References (12)

1. W M P van der Aalst. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
2. David Hollingsworth. Workflow management coalition. The Workflow Reference Model. Document Number TC00-1003 [s], 1995.
3. W M P van der Aalst, Kees Max van Hee. Workflow Management: Models, methods and Systems. Cambridge, Massachusetts London, England: The MIT Press. 2002.
4. W M P van der Aalst, Arthur H M ter Hofstede. Workflow patterns: On the expressive power of (Petri-net-based) workflow languages. In Proc. the Fourth Workshop on the Practical Use of Colored Petri Nets and CPN Tools (CPN 2002), Kurt Jensen (ed.), volume 560 of DAIMI, Aarhus, Denmark, August 2002. University of Aarhus, pp.1-20.
5. W M P van der Aalst. Workflow verification: Finding controlflow errors using Petri-net-based techniques. Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2000, Vol.1806, pp.161-183.
6. W M P van der Aalst, A H M ter Hofstede. Verification of workflow task structures: A Petri-net-based approach. Information Systems, 2000, 25(1): 43-69.
7. Wang Bin-Jun, Hao Ke-Gang. The hierarchical structure of the workflow process definition and normal Petri net. Computer Science, 2003, 30(11): 157-159.
8. Hao Ke-Gang, Wang Bin-Jun. Extended XinPai driven workflow model and Petri net. Computer Applications and Software, 2004, 21(2): 24-26.
9. Petri Nets: Central Models and Their Properties, Brauer W, Reisig W, Rozenberg G (eds.), LNCS 254, Springer-Verlag, 1987.
10. Petri Nets, Applications and Relationship to other Models of Concurrency, Rozenberg G (eds.), LNCS 255, Springer, 1987.
11. Yuan C Y. Principals and Application of Petri Nets. Publishing House of Electronics Industry. 2005, pp.213-258.
12. Mani Chandy K, Misra J. Parallel Program Design. Addison-Wesley Publishing Company, 1988.