Modelling inter-task dependencies and control of workflow managements systems based on supervisory control theory

International Journal of Production Research

Volumn 43, Issue 20, 2005, Pages 4359-4379

  Yalcin, A ^a   Khemuka, A ^b   Deshpande, P ^c  

^a University of South Florida   (United States)

^b Juniper Bank (Member of Barclay Group)   (United States)

^c ZS Associates   (United States)

Author keywords

Discrete event systems; Supervisory control theory; Workflows

Indexed keywords

CONTROL EQUIPMENT; CONTROL THEORY; PRODUCT DEVELOPMENT;

DISCRETE EVENT SYSTEMS; SUPERVISORY CONTROL THEORY; WORKFLOWS;

PRODUCTION CONTROL;

EID: 31744448859     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207540500142423     Document Type: Article

References (22)

1. Adam, N.R., Atluri, V. and Huang, W., Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems (Special Issue on Workflow and Process Management), 1998, 10, 131-158.
2. Alpan, G., Design and analysis of supervisory controllers for DEDS. PhD thesis, Department of Industrial and Systems Engineering, Rutgers University, New Brunswick, NJ, 1997.
3. Attie, P.C., Singh, M.P., Sheth A. and Rusibkiewicz, M., Specifying inter database dependencies, in Proceedings of the 19th International Conference on Very Large Databases, San Francisco, CA, 1993, pp. 134-145.
4. Cassandras, C.G. and Lafortune, S., Introduction to Discrete Event Systems, 1999 (Kluwer Academic: Norwell, MA).
5. Chrysanthis, P., A framework for modeling and reasoning about extended transactions. PhD Thesis, Department of Computer and Information Science, University of Massachusetts, Amherst, MA, 1991.
6. Georgakopoulos, D., Hornick, M. and Sheth, A., An overview of workflow management: from process modeling of workflow automation infrastructure. Distributed and Parallel Database, 1995, 3, 119-153.
7. Hayes, K. and Lavery, K., Workflow management software: the business opportunity. Technical Report, 1991 (Ovum: London).
8. Koulopoulos, T.M., The Workflow Imperative: Building Real World Business Solutions, 1995 (Van Nostrand Reinhold: New York).
9. Krishnakumar, N. and Sheth, A., Managing heterogeneous multi-system tasks to support enterprise-wide operations. Distributed and Parallel Databases, 1995, 3, 155-186.
10. Ramadge, P.J. and Wonham, W.M., Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 1987, 25, 206-230.
11. Singh, M.P., Meredith, G., Tomlinson, C. and Attie, P.C., An event algebra for specifying and scheduling workflows, in Proceedings 4th International Conference on Database System for Advance Application, Singapore, 1995, pp. 53-60.
12. Tang, J. and Veijalainen, J., Enforcing inter-task dependencies in transactional workflow, in Proceedings of 3rd International Conference, on COOPIS, 1995, pp. 72-86.
13. Van Der Aalst, W.M.P, A class of petri nets for modeling and analysis business process. In Computer Science Reports, Eindhoven University of Technology, Netherlands, 1995.
14. Van Der Aalst, W.M.P., The application of petri nets to workflow management. The J. Circuits Syst. Comput., 1998, 8, 21-66.
15. Van Der Aalst, W.M.P., Workflow verification: finding control-flow errors using Petri net based techniques. Business Process Management, 2000, LNCS 1806, 161-183.
16. Van Der Aalst, W.M.P., Hauschildt, D. and Verbeek, H.M.W, A petri nets based tool to analyze workflows, in Proceedings of Petri Nets in System Engineering (PNSE'97), Hamburg, Germany, 1997, pp. 78-90.
17. Van Der Aalst, W.M.P. and Ter Hofstede, A.H.M., Verification of workflow task structures: a Petri nets based approach. Information Systems, 2000, 25, 43-69.
18. Wodtke, D. and Weikum, G., A formal foundation for distributed workflow execution based on state charts, in Proceedings 6th International Conference on Database Theory, London, 1997, pp. 230-246.
19. Workflow Management Coalition, A workflow management coalitions specification. Technical Report, 1994.
20. Workflow Management Coalition, Workflow management coalition terminology and glossary. Technical Report, 1996.
21. Wonham, W.M., Design Software XPTCT. Available online at http://www.control.utoronto.ca/people/profs/wonham/wonham.html (accessed January 2005).
22. Wonham, W.M. and Ramadge, P.J., Modular supervisory control of discrete event systems. Math. Control Signals Syst., 1988, 1, 13-30.