From human knowledge to process models

Lecture Notes in Business Information Processing

Volumn 5, Issue , 2008, Pages 84-95

  Desel, Jörg ^a  

^a CATHOLIC UNIVERSITY OF EICHSTÄTT INGOLSTADT   (Germany)

Author keywords

Business process modelling; Petri nets; Synthesis

Indexed keywords

INFORMATION SYSTEMS; PETRI NETS; SYNTHESIS (CHEMICAL); SYSTEMS ENGINEERING;

BUSINESS PROCESS MODELLING; DOMAIN EXPERTS; FORMAL DEFINITION; HIGH LEVEL OF ABSTRACTION; HUMAN KNOWLEDGE; PROCESS DEFINITION; PROCESS MINING; PROCESS MODELING;

INFORMATION USE;

EID: 84994766865     PISSN: 18651348     EISSN: 18651356     Source Type: Book Series    
DOI: 10.1007/978-3-540-78942-0_10     Document Type: Conference Paper

References (34)

1. van der Aalst, W.M.P., van Hee, K.: Workflow Management - Models, Methods and Systems. MIT Press, Cambridge (2002)
2. van der Aalst, W.M.P.: Finding structure in unstructured processes: the case for process mining. In: 7th International Conference on Application of Concurrency to System Design (ACSD), pp. 3-12. IEEE, Los Alamitos (2007)
3. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 375-383. Springer, Heidelberg (2007)
4. Business Process Management. LNCS, vol. 1806, 2678, 3080, 4102, 4714. Springer, Heidelberg (2000-2007)
5. De Antonellis, V., Demo, G.B.: Requirements Collection and Analysis. Methodology and Tools for Data Base Design, pp. 9-24. North-Holland, Amsterdam (1983)
6. Darondeau, P.: Synthesis and control of asynchronous and distributed systems. In: 7th International Conference on Application of Concurrency to System Design (ACSD), pp. 13-22. IEEE, Los Alamitos (2007)
7. Desel, J.: On abstractions of nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol. 524, pp. 78-92. Springer, Heidelberg (1991)
8. Desel, J., Oberweis, A.: Validierung von Informationssystemen durch Auswer- tung halbgeordneter Petrinetz-Simulationsläufe. Formale Grundlagen für den En- twurf von Informationssystemen. Informatik-Berichte der Universität Hannover Nr.03/94, pp. 132-138 (1994)
9. Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Informatica 33, 297-315 (1996)
10. Desel, J., Oberweis, A.: Petri-Netze in der Angewandten Informatik. Wirtschafts- informatik 38(4), 359-367 (1996)
11. Desel, J., Oberweis, A., Reisig, W., Rozenberg, G. (eds.): Petri nets and Business Process Management. Dagstuhl-Seminar-Report Nr. 217 (1998)
12. Desel, J.: Formaler Umgang mit semi-formalen Ablaufbeschreibungen. Angewandte Informatik and Formale Beschreibungsverfahren, Teubner-Texte zur Informatik 29, pp. 45-60, Teubner (1999)
13. Desel, J., Erwin, T.: Hybrid specifications: looking at workflows from a runtime perspective. International Journal of Computer System Science & Engineering 15(5), 291-302 (2000)
14. Desel, J.: Validation of process models by construction of process nets. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 108-126. Springer, Heidelberg (2000)
15. Desel, J., Juhás, G.: What is a Petri net? In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 1-25. Springer, Heidelberg (2001)
16. Desel, J.: Model validation - a theoretical issue? In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 23-43. Springer, Heidelberg (2002)
17. Desel, J.: Validierung and Verifikation von Prozessmodellen. In: Promise 2002 - GI- Workshop über Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, Gesellschaft für Informatik. LNI, vol. P-21, pp. 78-80 (2002)
18. Desel, J., Juhás, G., Lorenz, R., Neumair, C.: Modelling and validation with VIP-tool. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 380-389. Springer, Heidelberg (2003)
19. Desel, J.: Process modelling using Petri nets. In: [21], pp. 147-177 (2005)
20. van Dongen, B.F., Desel, J., van der Aalst, W.M.P.: Aggregating causal runs to workflow nets, Eindhoven University of Technology. BETA Working Paper Series, vol. WP 173 (2006)
21. Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems - Bridging People and Software through Process Technology. Wiley, Chichester (2005)
22. Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures; Part I and II. Acta Informatica 27, 315-342 (1990)
23. Fliedl, G., Kop, C., Mayr, H.C.: Prom scenarios to KCPM dynamic schemas - aspects of automatic mapping. In: Natural Language Processing and Information Systems, 8th International Conference on Applications of Natural Language to Information Systems, Gesellschaft für Informatik. LNI, vol. P-29, pp. 91-105 (2003)
24. Juhás, G., Lorenz, R., Desel, J.: Can I execute your scenario in my net? In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 289-308. Springer, Heidelberg (2005)
25. Lorenz, R., Bergenthum, R., Desel, J., Juhás, G.: Can I execute my scenario in your net? VipTool tells you! In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 381-390. Springer, Heidelberg (2006)
26. Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petri nets from finite partial languages. In: 7th International Conference on Application of Concurrency to System Design (ACSD), pp. 157-166. IEEE, Los Alamitos (2007)
27. Mayr, H.C., Dittrich, K.R., Lockemann, P.C.: Datenbankentwurf. Kapitel 5. In: Datenbank-Handbuch, pp. 481-557. Springer, Heidelberg (1987)
28. Mayr, H.C., Schnattler, M.: Vorkonzeptuelle und konzeptuelle Dynamik-Modellie- rung. In: Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, Informatik aktuell, pp. 3-18. Springer, Heidelberg (1993)
29. Mayr, H.C.: Towards business process modeling in KCPM. In: [11], p. 27 (1998)
30. Mayr, H.C., Kop, C.: A user centered approach to requirements modeling. In: Modellierung 2002, Gesellschaft für Informatik. LNI, vol. P-12, pp. 75-86 (2002)
31. Mayr, H.C., Kop, C., Esberger, D.: Business process modeling and requirements modeling. In: First International Conference on the Digital Society (ICDS 2007), Los Alamitos, CA, pp. 8-11 (2007)
32. Process Mining Group, Eindhoven University of Technology: www.processmining.org
33. Reisig, W.: A Primer in Petri Net Design. Springer, Heidelberg (1992)
34. Weske, M.: Business Process Management - Concepts, Languages and Architectures. Springer, Heidelberg (2007)