Linear temporal inference of workflow management systems based on timed petri nets models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2480, Issue , 2002, Pages 30-44

  Qu, Yang ^a   Lin, Chuang ^a   Wang, Jiye ^b  

^a TSINGHUA UNIVERSITY   (China)

^b The Supreme People's Court   (China)

Author keywords

Linear inference; Temporal; Timed Petri nets; Workflow

Indexed keywords

INFORMATION USE; MANAGEMENT INFORMATION SYSTEMS; PETRI NETS; WORK SIMPLIFICATION;

ANALYSIS AND VERIFICATIONS; LINEAR INFERENCES; TEMPORAL; TEMPORAL CONSTRAINTS; TIMED PETRI NET; TIMED PETRI NETS MODELS; WORKFLOW; WORKFLOW MANAGEMENT SYSTEMS;

INFERENCE ENGINES;

EID: 84931447226     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45785-2_3     Document Type: Conference Paper

References (15)

1. Marinescu D. C. Internet-based Workflow Management: Towards a Semantic Web. 610+XVII, Wiley, New York, Chichester, Weinheim, Brisbaine, Singapore, Toronto, 2002.
2. Bracchi, G. and B. Pernici, The Design Requirements of Office Systems, ACM Trans. Office Automat. Syst., 2(2): 151-170, 1984.
3. Schal, T. Workflow Management Systems for Process Organizations. Springer Verlag, 1996.
4. Yao, Y. A Petri net Model for Temporal Knowledge Representation and Reasoning. IEEE Trans. Systems, Man, and Cybernetics, 24(9): 1374-1382, 1994.
5. Workflow Management Coalition. http://www. wfmc. com, 1998.
6. W. van der Aalst. Three Good Reasons for Using a Petri Net based Workflow Management System. Proc. IPIC 96, 179-181, 1996.
7. Jensenss, G. K., J. Verelst, B. Weyn. Techniques for Modeling Workflows and their Support of Reuse. In Business Process Management. W. van der Aalst, J. Desel, and A. Oberweis Eds. Lecture Notes in Computer Science, Vol. 1806, 1-15, 2000.
8. M. D. Zisman, Representation, Specification and Automation of Office Procedures, PhD thesis, University of Pennsylvania, Warton School of Business, 1977.
9. Ellis, C. A. and G. J. Nutt. Modeling and Enactment of Workflow Systems. In Applications and Theory of Petri Nets, Lecture Notes on Computer Science, Vol. 691, Springer Verlag, 1-16, 1993.
10. W. van der Aalst. Workflow Verification: Finding Control-Flow Errors Using Petri-Nets-based Techniques. In Business Process Management. W. van der Aalst, J. Desel, and A. Oberweis, Eds. Lecture Notes in Computer Science, Vol. 1806, 161-183, 2000.
11. Adam, N. R. V. Atluri, and W. K. Huang. Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems. 10(2), 1-29, 1998.
12. Yi Zhou, Murata T., Fuzzy-timing Petri net model for distributed multimedia synchronization, Systems, Man, and Cybernetics, IEEE International Conference, Volume: 1, Page(s): 244-249 vol. 1, 1998.
13. W. van der Aalst and A. H. ter Hofstede and B. Kiepuszewski and A. P. Barros. Workflow Patterns. http://www. tm. tue. nl. research/patterns/. Technical Report, Eindhoven University of Technology, 2000.
14. W. van der Aalst. The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers, 8(1): 21-66, 1998.
15. W. van der Aalst. Verification of Workflow Tast Structures. Information Systems Vol. 25, No1, pp43-69, 2000.