Stable release with support to both sound Workflow graphs (BPMN) and sound Workflow nets (Petri net).
The performance of the Petri net implementation is better (up to 10 times faster when computing the reachability graph).
IEEETSC
Approach to, given a process model in BPMN formal, compute the state of ongoing cases in constant time. The approach consists of, in design time, given a maximum size _n_, create an index that associates each _n_-gram -- i.e., execution of _n_ consecutive activities -- with the state(s) they lead to in the process model. Then, at runtime, the state of an ongoing process case can be computed in constant time by searching for the last _n_ executed activities in the index. For example, for an ongoing case `A-B-F-T-W-S-G-T-D`, after building the 5-gram index, the state would be computed by searching in the index with the sequence `[W, S, G, T, D]`.
This approach has been submitted as a publication to IEEE Transactions on Services Computing under the title "Efficient Online Computation of Business Process State From Trace Prefixes via N-Gram Indexing", by David Chapela-Campa and Marlon Dumas.
Instructions to **reproduce the evaluation** presented in the publication are available in the README file.
VLDB2025
Approach to, given a process model in BPMN formal, compute the state of ongoing cases in constant time. The approach consists of, in design time, given a maximum size _n_, create an index that associates each _n_-gram -- i.e., execution of _n_ consecutive activities -- with the state(s) they lead to in the process model. Then, at runtime, the state of an ongoing process case can be computed in constant time by searching for the last _n_ executed activities in the index. For example, for an ongoing case `A-B-F-T-W-S-G-T-D`, after building the 5-gram index, the state would be computed by searching in the index with the sequence `[W, S, G, T, D]`.
This approach has been submitted as a publication to VLDB 2025 under the title "Efficient Online Computation of Business Process State From Trace Prefixes via N-Gram Indexing", by David Chapela-Campa and Marlon Dumas.
Instructions to **reproduce the evaluation** presented in the publication are available in the README file.