开发者 petrineteditor.sf.net

随机 Petri-nets 的编辑，允许创建可到达性树和 Markov 图形，模拟和收集模拟统计数据。2010年在基辅理工学院的"计算机模拟与报价"课程期间创建。基于 JGraphX 。