Controllability of open workflow nets

Proceedings of the Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2005

Volumn , Issue , 2005, Pages 236-249

  Schmidt, Karsten ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADEQUATE MODELS; INTERORGANIZATIONAL BUSINESS PROCESS; LOCAL CONTROLLABILITY; MESSAGE PASSING INTERFACE; WORKFLOW NETS;

INFORMATION SYSTEMS;

CONTROLLABILITY;

EID: 33749999603     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. W. M.P. van der Aalst. The application of Petri nets to workflow management. Journal of circuits, systems, and computers 8(1) pp. 21-66, 1998.
2. L. de Alfaro and T. A. Henzinger. Interface automata. Proc. FSE. pp. 109-120, 2001.
3. R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal ACM 49, pp. 672-713, 2002.
4. Z. Achour, N. Rezg, and X. Xie. Supervisory control of partially observable marked graphs. IEEE Transactions on Automatic Control 49 (11), pp. 2007-2011, 2004.
5. R.K. Boel, B. Bordbar, and G. Stremersch. A min-plus polynomial approach to forbid den state control for general PNs. Proc. WODES, pp. 79-84, 1998.
6. E. Badouel and P. Darondeau. Theory of regions. Lectures on Petri nets 1: basic models, pp. 529-258. LNCS 1491, 1998.
7. Curbera, Goland, Klein, Leymann, Roller, Thatte, and Weerawarana. Business Process Execution Language for Web Services, Version 1.1. Technical report, BEA Systems, International Business Machines Corporation, Microsoft Corporation, May 2003.
8. P. Darondeau and X. Xie. Linear control of live marked graphs. Automatica 39 (3), pp. 429/440, 2003.
9. A. Ghaffari, N. Rezg, and X. Xie. Feedback control logic for forbidden state problem of marked graphs. IEEE Transactions on Automatic Control 48, pp. 18-29, 2003.
10. A. Giua and C. Seatzu. Observability of place/transition nets. Transactions on Automatic Control 47, pp. 1424-1437, 2002.
11. L. Holloway, X. Guan, and L. Zhang. A generalization of state avoidance policies for controlled PN. IEEE Transact ons on Automatic Control 39, pp. 512-531, 1996.
12. L. Holloway and B. Krogh. Synthesis of feedback control logic for a class of controlled PNs. IEEE Transactions in Automatic Control 35, pp. 514-523, 1990.
13. S. Hinz, K. Schmidt and C. Stahl. Transforming BPEL to Petri nets. Proc. Int. Conf. Business Process Management (BPM), LNCS 3649, pp. 220-235, 2005.
14. Y. Li and W. M. Wonham. Control of vector discrete event systems II - controller synthesis. IEEE transactions on Automatic Control 39, pp. 512-531, 1994.
15. J.O. Moody and P. J. Antsaklis. PN supervisors for DES with uncontrollable and unobservable transitions. Fevrier, Tech. Report ISIS-99-04, 1999.
16. A. Martens. Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. Dissertation, Humboldt-Universität zu Berlin, 2003.
17. A. Martens, H. Schlingloff, and K. Schmidt. Modeling and Model Checking Web Services. ENTCS 126, pp. 3-26, 2005.
18. P. Massuthe and K. Schmidt. Operating guidelines - an automata-theoretic foundation for the service-oriented architecture. Proc. QSIC 2005, pp. 452-457.
19. M. Nielsen, G. Rozenberg, and P. S. Thiagarajan. Elementary transition systems. Theoretical Computer Science 96, 1992, pp. 3-33.
20. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization 25(1), pp. 206-230, 1987.
21. K. Schmidt. Controlability of distributed business processes. Informatik-Bericht 180, Humboldt-Universität zu Berlin, 2005.
22. C. Stahl. Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-Universität zu Berlin, April 2004.
23. G. Stremersch. Linear algebraic design of supervisors for partially observed PN. Proc. CSD Bratislava, pp. 281-286, 2000.
24. D. Weinberg. Implementation der Bedienbarkeit. Diploma Thesis, Humboldt-Universität zu Berlin, 2004.
25. K. Ya malidou, J. Moody, M. Lemmon, and P. Antsaklis. Feedback control of PNs based on place invariants. Automatica 32 (1), pp. 15-28, 1996.