This paper presents an automated tool for verifying Business Process Model and Notation (BPMN) workflows by generating Promela code and Linear Temporal Logic (LTL) properties. The tool integrates ...

Abstract: Business Processes (BPs) describe how organizations should perform to achieve their goals. Many times, these BPs are defined and executed in a decentralized way, which forces organizations ...