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.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.