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.
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.
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 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.
Use PetriBase to create recommendations or transformations of your data. Automate repetitive processes through Robotic Process Automation (RPA).