Rbminer: A tool for discovering petri nets from transition systems

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

Volumn 6252 LNCS, Issue , 2010, Pages 396-402

  Solé, Marc ^a   Carmona, Josep ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

NEW THEORY; SCOPE OF APPLICATION; SPACE REQUIREMENTS; THEORY OF REGIONS; TRANSITION SYSTEM;

GRAPH THEORY; INDUSTRIAL APPLICATIONS; PETRI NETS; LINEAR ALGEBRA;

AUTOMATA THEORY; PETRI NETS;

EID: 78049340147     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15643-4_33     Document Type: Conference Paper

References (12)

1. Arnold, A.: Finite Transition Systems. Prentice-Hall, Englewood Cliffs (1994)
2. Murata, T.: Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, 541-580 (April 1989)
3. Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part I, II. Acta Informatica 27, 315-368 (1990)
4. Solé, M., Carmona, J.: Process mining from a basis of state regions. In: Proc. 31st Int. Conference on Applications and Theory of Petri Nets (June 2010)
5. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. on Information and Systems E80-D (3), 315-325 (1997)
6. van der Aalst, W. M. P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE TKDE 16(9), 1128-1142 (2004)
7. van Dongen, B., Alves de Medeiros, A., Wen, L.: Process mining: Overview and outlook of petri net discovery algorithms. In: ToPNoC II, pp. 225-242 (2009)
8. Lorenz, R., Mauser, S., Juhás, G.: How to synthesize nets from languages: a survey. In: WSC 2007: Proc. of the 39th Conference on Winter Simulation, pp. 637-647 (2007)
9. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: Proc. Int. Conf. on Business Process Management, pp. 375-383 (2007)
10. Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of Petri nets. In: ACSD, pp. 181-185 (2009)
11. van der Werf, J. M. E. M., van Dongen, B. F., Hurkens, C. A. J., Serebrenik, A.: Process discovery using integer linear programming. In: Petri Nets, pp. 368-387 (2008)
12. Rozinat, A., van der Aalst, W. M. P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64-95 (2008)