Learning workflow petri nets

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

Volumn 6128 LNCS, Issue , 2010, Pages 206-225

  Esparza, Javier ^a   Leucker, Martin ^a   Schlund, Maximilian ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT SEQUENCE; FORMAL APPROACH; LEARNING APPROACH; UPPER AND LOWER BOUNDS; WORKFLOW MINING; WORKFLOW MODELS;

GRAPH THEORY; MANAGEMENT; PETRI NETS;

LEARNING ALGORITHMS;

EID: 77955388062     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13675-7_13     Document Type: Conference Paper

References (20)

1. Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 469-483. Springer, Heidelberg (1998)
2. Andersen, H.R.: An introduction to binary decision diagrams. Technical report (1999), http://www.itu.dk/people/hra/bdd-eap.pdf
3. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75(2), 87-106 (1987)
4. Badouel, E., Bernardinello, L., Darondeau, P.: Polynomial algorithms for the synthesis of bounded nets. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915. Springer, Heidelberg (1995)
5. Badouel, E., Darondeau, P.: On the synthesis of general petri nets. Technical report, INRIA (1996)
6. Bergenthum, R., Desel, J., Kölbl, C., Mauser, S.: Experimental results on process mining based on regions of languages. In: CHINA 2008, Workshop at the Applications and Theory of Petri Nets: 29th International Conference (2008)
7. 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)
8. Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Construction of process models from example runs. T. Petri Nets and Other Models of Concurrency 2, 243-259 (2009)
9. Bollig, B., Katoen, J.-P., Kern, C., Leucker, M.: Learning communicating automata from MSCs. IEEE Transactions on Software Engineering, TSE (in press, 2009)
10. Bollig, B., Katoen, J.-P., Kern, C., Leucker, M., Neider, D., Piegdon, D.: libalf: the Automata Learning Framework. In: Proceedings of the 22nd International Conference on Computer-Aided Verification (CAV 2010). LNCS. Springer, Heidelberg (to appear, 2010)
11. Chow, T.S.: Testing software design modeled by finite-state machines. TSE 4(3), 178-187 (1978); Special collection based on COMPSAC
12. Kindler, E., Rubin, V., Schäfer, W.: Process mining and petri net synthesis. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 105-116. Springer, Heidelberg (2006)
13. Rubin, V., Günther, C.W., van der Aalst, W.M.P., Kindler, E., van Dongen, B.F., Schäfer,W.: Process mining framework for software processes. In: Wang, Q., Pfahl, D., Raffo, D.M. (eds.) ICSP 2007. LNCS, vol. 4470, pp. 169-181. Springer, Heidelberg (2007)
14. SAP AG. SAP Business Workflow Demo Examples (BC-BMT-WFM) (2001)
15. Vasilevski, M.P.: Failure diagnosis of automata. Cybernetic 9(4), 653-665 (1973)
16. van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21-66 (1998)
17. van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Mans, R.S., de Medeiros, A.K.A., Rozinat, A., Rubin, V., Song, M. (Eric)Verbeek, H.M.W., Weijters, A.J.M.M.: Prom 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 484-494. Springer, Heidelberg (2007)
18. van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: A survey of issues and approaches. Data Knowl. Eng. 47(2), 237-267 (2003)
19. van der Aalst, W., van Hee, K.:Workflow Management. Models, Methods, and Systems. MIT Press, Cambridge (2004)
20. Verbeek, H.M.W.: Verification of WF-nets. PhD thesis, Technische Universiteit Eindhoven (2004)