Prototype gRPC evenstore service.
Construct Markov chains backed by CockroachDB or PostgreSQL databases.
Uses Petri-Nets as state machines to validate events before appending to a eventstore.
Alpha - Seems to function in a development environment
Not tested under load.
The Ultimate aim is to develop a datastore that maps onto the smart contract platform provided by https://github.com/Factom-Asset-Tokens
Read the FATIP - draft specification ./fatip.md # <- TODO rewrite to target latest SmartContract design
Using an eventstore that ensures only valid events are stored is a distinct style choice that can simplify the design of many types of applications where ledger-driven audits are desirable.
Petri-nets are well explored data structures that have mathematically verifiable properties.
States and transitions are computed as a Vector addition System with State This vector format makes machine learning analysis of event logs very trivial.
This library is compatible with .pflow files produced with a Java visual editor
Once a user is familiar with the basic semantics of a Petri-Net, new process flows can be developed rapidly.