rbminer: a tool for discovering Petri nets from transition systems 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.

References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Ahmed, Aishah; Koutny, Maciej; Pietkiewicz-Koutny, Marta: Synthesising elementary net systems with localities (2022)
  2. Kalenkova, Anna; Carmona, Josep; Polyvyanyy, Artem; La Rosa, Marcello: Automated repair of process models with non-local constraints using state-based region theory (2021)
  3. van der Aalst, Wil M. P.; Berti, Alessandro: Discovering object-centric Petri nets (2020)
  4. van Zelst, S. J.; van Dongen, B. F.; van der Aalst, W. M. P.; Verbeek, H. M. W.: Discovering workflow nets using integer linear programming (2018)
  5. Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta; Rozenberg, Grzegorz: Applying regions (2017)
  6. Vázquez-Barreiros, Borja; Mucientes, Manuel; Lama, Manuel: Enhancing discovered processes with duplicate tasks (2016)
  7. Kalenkova, Anna A.; Lomazova, Irina A.; van der Aalst, Wil M. P.: Process model discovery: a method based on transition system decomposition (2014)
  8. Leemans, Sander J. J.; Fahland, Dirk; van der Aalst, Wil M. P.: Discovering block-structured process models from incomplete event logs (2014)
  9. Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta: Regions of Petri nets with a/sync connections (2012)
  10. van der Aalst, Wil M. P.: Decomposing process mining problems using passages (2012)
  11. Solé, Marc; Carmona, Josep: \textttrbminer: a tool for discovering Petri nets from transition systems (2010) ioport
  12. Solé, Marc; Carmona, Josep: Process mining from a basis of state regions (2010)
  13. Marbán, Oscar; Segovia, Javier; Menasalvas, Ernestina; Fernández-Baizán, Covadonga: Toward data mining engineering: a software engineering approach (2009) ioport
  14. Marbán, Oscar; Menasalvas, Ernestina; Fernández-Baizán, Covadonga: A cost model to estimate the effort of data mining projects (DMCoMo) (2008) ioport