APNN工具箱

APNN工具箱是试图创建一个开放的工具集围绕一个共同的交换接口,所谓的抽象Petri网表示法(APNN)。工具箱有一个明确的重点,分析方法,考虑完整的状态空间,其中共同的状态空间爆炸问题是通过Kronecker表示。工具箱提供了一个图形用户界面(APNND)来指定Petri网并控制后续分析。其他建模形式和工具连接到APNN工具箱,这是PEP,GreatSPN和一个工具的过程链形式的工具,在后勤网络的建模在多特蒙德大学的胶体研究中心559。功能分析包括检查经典Petri网活性的工具,还包括计算树逻辑(CTL)和线性时序逻辑(LTL)的模型咀嚼,以考虑更一般的性质。所有这些方法都是从给定的KRONECKER表示中获益的。定量分析侧重于连续时间马尔可夫链(CTMCs)及其瞬态或稳态行为。丰富的各种数值技术已经实现了模块化和分层Kronecker表示。这些技术产生瞬态或稳态分布,要么聚合到典型的性能测量,如令牌群体的分布和平均吞吐量的过渡。