Making workflow models sound using petri net controller synthesis

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

Volumn 3290, Issue , 2004, Pages 139-154

  Dehnert, Juliane ^a   Zimmermann, Armin ^b  

^a Fraunhofer Institute for Software and Systems Engineering (ISST)   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLERS; INFORMATION SYSTEMS; MULTI AGENT SYSTEMS; PETRI NETS; SEMANTIC WEB; SEMANTICS; SPECIFICATION LANGUAGES;

BUSINESS PROCESS; CONTROLLER SYNTHESIS; FORMAL DESCRIPTION; PETRI NET CONTROLLER; RELAXED SOUNDNESS; WORKFLOW MODELS;

DISTRIBUTED DATABASE SYSTEMS;

EID: 27144486667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30468-5_11     Document Type: Article

References (23)

1. [Aa198] W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
2. [Aa100] W.M.P. van der Aalst. Workflow Verification: Finding Control-Flow Errors using Petri-net based Techniques. In Business Process Mangement: Models, techniques, and Empirical Studie, volume 1806 of LNCS, pages 161-183. Springer Verlag, 2000.
3. [AdM00] A. Agostini and G. de Michelis. A Light Workflow Management System Using Simple Process Models. Computer Supported Cooperative Work, 9(3/4):335-363, 2000.
4. [BEA03] BEA Systems, IBM Corporation, Microsoft Corporation, SAP AG, Siebel Systems. Business Process Execution Language for Web Services (Version 1.1, 2003.
5. [CKLY98] J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. Deriving Petri Nets from Finite Transition Systems. IEEE Transactions on Computers, 47(8):859-882, 1998.
6. [CWBH+03] P. Chrzastowski-Wachtel, B. Benatallah, R. Hamadi, M. O'Dell, and A. Susanto. A top-down petri net-based approach for dynamic workflow modeling. In W. van der Aalst, A. ter Hofstede, and M. Weske, editors, 1st International Conference on Business Process Management (BPM), volume 2678 of LNCS, pages 336-353. Springer, 2003.
7. [Deh02] J. Dehnert. Non-controllable choice robustness: Expressing the controllability of workflow processes. In J. Esparza and C. Lakos, editors, 23rd Int. Conf. on Application and Theory of Petri Nets, volume 2360 of LNCS, pages 121-141. Springer, 2002.
8. [Deh03] J. Dehnert. A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis, TU Berlin, 2003.
9. [DR01] J. Dehnert and P. Rittgen. Relaxed Soundness of Business Processes. In K.L. Dittrich, A. Geppert, and M.C. Norrie, editors, Advanced Information System Engineering, CAISE 2001, volume 2068 of LNCS, pages 157-170. Springer, 2001.
10. [DvdA04] J. Dehnert and W. van der Aalst. Bridging the Gap Between Business Models and Workflow Specifications. International Journal of Cooperative Information Systems (IJCIS), 3(3), 2004. to appear.
11. [EN94] J. Esparza and M. Nielsen. Decidability Issues for Petri Nets: A Survey. Journal of Information Processing and Cybernetics, 30:143-160, 1994.
12. [ES90] J. Esparza and M. Suva. Circuits, Handles, Bridges and Nets. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of LNCS, pages 210-242. Springer, 1990.
13. [GDS92] A. Giua, F. DiCesare, and M. Silva. Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, pages 974-979, Chicago, IL, 1992.
14. [GRX03] A. Ghaffari, N. Rezg, and X. Xie. Design of a live and maximally permissive petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation, 19(1):137-142, 2003.
15. [LSW98] P. Langner, C. Schneider, and J. Wehler. Petri Net Based Certification of Event-driven Process Chains. In J. Desel and M. Silva, editors, Application and Theory of Petri nets, volume 1420 of LNCS, pages 286-305. Springer, Berlin, 1998.
16. [MR00] D. Moldt and J. Rodenhagen. Ereignisgesteuerte Prozessketten und Petrinetze zur Modellierung von Workflows. In Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, volume 24/00-I of Fachberichte Informatik, pages 57-63, 2000.
17. [NRT92] M. Nielsen, G. Rozenberg, and P. S. Thiagarajan. Elementary transition systems. Theoretical Computer Science, 96(1):3-33, April 1992.
18. [RD98] M. Reichert and P. Dadam. ADEPTflex: Supporting Dynamic Changes of Workflow without Loosing Control. Journal of Intelligent Information Systems, 10(2):93-129, 1998.
19. [Sch99] K. Schmidt. LoLA: A Low Level Analyser. In Proc. Int. Conf. Application and Theory of Petri net, volume 1825 of LNCS, pages 465-474, 1999.
20. [SL99] Software-Ley. COSA 3.0 User Manual Software-Ley GmbH, Pullheim, Germany, 1999.
21. [UML02] Unified Modeling Language: version 1.4.2, ISO, 2002.
22. [VBA01] H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. The Computer Journal, 44(4):246279, 2001.
23. [YMLA96] K. Yamalidou, J. Moody, M. Lemmon, and P. Antsakli. Feedback control of Petri nets based on place invariants. Automatica, 32(1):15-28, 1996.