Copyright © 2010. Universitat Politècnica de Catalunya, Barcelona, Spain.

Overview of the tool

dbminer is a tool for the mining of Petri nets from a behavior described as the union of several transition systems. It is based on the theory of (generalized) regions. More specifically, it incrementally builds a basis of regions for the whole system based on the region bases of the input transition systems, so that any region in the system can be expressed as a linear combination of the regions in the basis. Then it partially explores space of the linear combinations seeking for minimal regions. The level of exploration is user-defined, and for many examples a coarse search produces relevant results.

The input of the tool is a text file in a very simple format (see users manual) containing the information of which transition systems (encoded in SIS format for state graphs) have to be considered. The output is a Petri net in Petrify format whose reachability graph has a language that is a superset of the input behavior.


The following user's manual describes the usage of the tool.

Getting the tool

The Linux binaries of the tool can be obtained here. Some useful helper applications can be found together with the rbminer tool, available here.

Related publications

  1. Marc Solé, Josep Carmona: Incremental Process Mining. ART 2010: 29-43.

  2. Marc Solé, Josep Carmona: Rbminer: a Tool for Discovering Petri Nets from Transition Systems. ATVA 2010: 396-402.

  3. Marc Solé, Josep Carmona: Process Mining from a Basis of State Regions. Petri Nets 2010: 226-245.


Marc Solé 

Computer Architecture Department
Universitat Politècnica de Catalunya

Barcelona, Spain.