PetriBase: Algorithm = Logic + Control

Logician Robert Kowalski argues that

"computer programs would be more often correct and more easily improved and modified if their logic and control aspects were identified and separated." Yet until today, only the management of data has been separated from the application code. As a result, control and logic components are still mixed.

PetriBase fixes the mixing problem. PetriBase adds a logic control layer to in-memory databases like SAP HANA®. It uses a graph model to control the execution of logic components. Thus, data transformations become shorter, and their logical correctness can be checked as syntax checkers do.

Process Mining in SAP HANA

PetriBase is based on Petri Nets, a solid modeling language that has been extensively studied for the past 60 years. Recently, Petri Nets became famous again as they can be learned from event logs. This learning process is called "Process Mining."

PetriBase lets you replay your processes to find issues and to optimize your business processes.


Halt any process in execution to notify your system or users of potential issues further down the workflow.



Model your Dependencies Graphically

Besides the learning of Petri Nets, PetriBase can be used as a programming language, potentially enhancing trained nets. PetriBase lets you model your dependencies graphically rather than program deeply nested if and case statements. 

Conformance Checking

Conformance Checking is used to compare your event log against your process model. It finds differences whenever it encounters unexpected behaviors. Conformance Checking allows you to check for compliance in PetriBase.

Create Recommendations

Use PetriBase to create recommendations or transformations of your data. Automate repetitive processes through Robotic Process Automation (RPA).

Modernize Legacy Systems

Use PetriStudio on top of PetriBase to disclose business processes, extractor logic, and data propagation rules. Create documentation at the click of a button. Refactor legacy BI logic into cloud-based analytics solutions.