WorkflowFM

Software Documentation

GitHub
Composer

Composer

GUI for verified process modelling and composition

Reasoner

Reasoner

Logic-based process modelling and composition

PEW

PEW

A persistent workflow execution engine

Proter

Proter

Priority-based business process simulation