BPMN Analyzer: Formal analysis of BPMN process models 
The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. It is heavily for process automation and orchestration in many businesses. Formalizing BPMN reduces the cost of business process automation by facilitating the detection of errors and optimization potentials in process models already during design time before the implementation starts. The BPMN Analyzer is an open-source tool to analyze BPMN process models formally.
The tool supports most BPMN constructs used in practice and allows checking behavioral properties.
More information is coming soon.