Abstract: “Law is code” is pivotal for advancing the intelligent judiciary. This article proposes a business process modeling notation-large language model (BPMN-LLM), which transforms BPMN models of ...

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 ...