项目描述 ：
:microscope: formal tools for BPMN

高级语言： TLA

项目主页：

项目地址: git://github.com/pascalpoizat/fbpmn.git

创建时间： 2018-10-10T08:26:01Z
项目社区：https://github.com/pascalpoizat/fbpmn
开源协议：Apache License 2.0
下载