JARP-开源

基于 ARP 分析器的用于 Petri 网的 Java 编辑器。 将网络导出为 GIF、JPEG、PNG、PPM、ARP 和 PNML（基于 XML）文件格式。 使用优秀的 JHotDraw 5.2 框架。