Abstract
The theory of regions was introduced in the nineties to enable the transformation of an automata into a Petri net. From very restricting initial requirements, the theory has evolved in several dimensions in the last two decades, widening the scope of application to more general scenarios. In contrast, few tools have appeared to support these new theories, thus relegating the potential of the area only to the academic domain. This paper introduces rbminer, a tool that combines the theory of regions with linear algebra to compute a basis of state regions. Due to its light space requirements, this approach may contribute to bridge the gap between the theory of regions and its industrial application.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arnold, A.: Finite Transition Systems. Prentice-Hall, Englewood Cliffs (1994)
Murata, T.: Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, 541–580 (April 1989)
Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part I, II. Acta Informatica 27, 315–368 (1990)
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)
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)
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)
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)
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)
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)
Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of Petri nets. In: ACSD, pp. 181–185 (2009)
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)
Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Solé, M., Carmona, J. (2010). Rbminer: A Tool for Discovering Petri Nets from Transition Systems. In: Bouajjani, A., Chin, WN. (eds) Automated Technology for Verification and Analysis. ATVA 2010. Lecture Notes in Computer Science, vol 6252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15643-4_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-15643-4_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15642-7
Online ISBN: 978-3-642-15643-4
eBook Packages: Computer ScienceComputer Science (R0)