Finite automata modelling and analysis of Workflow Management Systems

International Journal of Industrial and Systems Engineering

Volumn 1, Issue 3, 2006, Pages 388-411

  Darabi, Houshang ^a  

^a University of Illinois   (United States)

Author keywords

control reconfiguration; finite automata analysis; scalability; Workflow Management Systems (WFMS)

Indexed keywords

EID: 84882053376     PISSN: 17485037     EISSN: 17485045     Source Type: Journal    
DOI: 10.1504/IJISE.2006.009795     Document Type: Article

References (16)

1. Adam, N.R., Atluri, V. and Huang, W.K. (1998) ‘Modelling and analysis of workflows using Petri nets’, Journal of Intelligent Information Systems, Vol. 10, pp.131—158.
2. Atti, P.C., Singh, M.P. and Rusinkiewica, M. (1993) ‘Specifying and enforcing intertask dependencies’, Proceedings of 19th International Conference on Very Large Databases, Dublin, Ireland, pp.134–145.
3. Bae, J.S., Jeong, S.C., Seo, Y., Kim, Y. and Kang, S.H. (1999) ‘Integration of workflow management and simulation’, Computers and Industrial Engineering, Vol. 37, pp.203–206.
4. Brandin, B.A. and Wonham, W.A. (1994) ‘Supervisory control of timed discrete-event systems’, IEEE Transaction on Automatic Control, Vol. 39, No. 2, pp.329–342.
5. Darabi, H. and Jafari, M.A. (1998) ‘Recovery analysis of supervisory control of discrete event systems’, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Diego, California, pp.704–709.
6. Darabi, H., Jafari, M.A. and Buczak, A.L. (2003) ‘A control switching theory for supervisory control of discrete event systems’, IEEE Transactions on Robotics and Automation, Vol. 19, No. 1, pp.131–137.
7. Golaszewski, C.H. and Ramadge, P.J. (1987) ‘Control of discrete event processes with forced events’, Proceeding of the 26th Conference on Decision and Control, Los Angeles, USA, pp.247–251.
8. Liu, J. and Darabi, H. (2004). ‘Control reconfiguration of discrete event system controllers with partial observation’, IEEE Transactions on Systems, Man, and Cybernetics- Part B, Vol. 34, No. 6, pp.2262–2272.
9. Prabhu, V.V., Kumara, S. and Kamath, M. (2003) Scalable Enterprise Systems – An Introduction to Recent Advances, Kluwer Academic Press, Boston.
10. Ramadge, P.J. and Wonham, W.M. (1987) ‘Supervisory control of a class of discrete event processes’, SIAM Journal of Control and Optimization, Vol. 25, No. 1, pp.206–230.
11. Rusinkiewicz, M. and Sheth, A. (1994) ‘Specification and execution of transactional workflows’, Modern Database Systems: The Object Model, Interoperability, and Beyond, Addison-Wesley, Boston.
12. Senkul, P. and Toroslu, I.H. (2005) ‘An architecture for workflow scheduling under resource allocation constraints’, Information Systems, Vol. 10, No. 5, pp.399–422.
13. van der Aalst, W.M.P. (1999) ‘Formalization and verification of event-driven process chain’, Information and Software Technology, Vol. 41, pp.639–650.
14. van der Aalst, W.M.P. and Hofstede, A.H.M.T. (2000) ‘Verification of workflow task structures: a Petri-net based approach’, Information Systems, Vol. 25, No. 1, pp.43–69.
15. Vaz, A.F. and Wonham, W.M. (1986) ‘On supervisor reduction in discrete-event systems’, International Journal of Control, Vol. 44, No. 2, pp.475–491.
16. Wodtke, D., Weissenfels, J., Weikum, G. and Kotz-Dittrich, A. (1997) ‘The mentor project: steps towards enterprise on state charts’, Proceedings of International Conference on Database Theory, Delphi, Greece, pp.45–57.