Co-opn-开源

【文件属性】：

文件名称：Co-opn-开源

文件大小：8.8MB

文件格式：JAR

更新时间：2024-06-20 04:51:03

开源软件

并发面向对象 Petri 网 (CO-OPN) 形式主义旨在以模块化方式支持分布式系统的规范。 本项目提出了编辑器、语法检查器、测试生成器和原型生成器等工具。