In this paper, we present a prototype of a module of the Petriflow application engine that stores process nets for every single case of a Petriflow model, whose underlying process model is a place/transitions net. It enables to filter cases according to search queries and to export the process runs for the filtered cases within a compressed form, containing each process net in a separate file. The process nets can be used for further analysis or as an input of process mining methods. Each process net can be opened in the application builder and simulated. As parameters in the search, we chose fact transitions that are used to identify the set of markings of the instance of the business model.

Authors: Gabriel Juhás, Tomáš Kováčik, Jakub Kovář and Martin Kranec