The APNN-Toolbox is an attempt to create an open toolset around a common exchange interface, so-called Abstract Petri Net Notation (APNN). The toolbox has a clear focus on analysis methods which consider the complete state space and where the common state space explosion problem is accomplished by Kronecker representations. The toolbox provides a graphical user interface (APNNed) to specify Petri nets and to control subsequent analysis. Other modeling formalisms and tools are connected to the APNN-Toolbox, this is the case for PEP, GreatSPN and a tool for the process chain formalism employed in the modeling of logistic networks in the colloborative research centre 559 at Dortmund university. Functional analysis includes tools for checking classical Petri net liveness but also model cheking for computational tree logic (CTL) and linear temporal logic (LTL) to consider more general properties. All these methods are implemented in a way that profits from a given Kronecker representation. Quantitative analysis focuses on continuous time Markov chains (CTMCs) and their transient or steady state behavior. A rich variety of numerical techniques has been implemented for modular and hierarchical Kronecker representations. These techniques yield transient or steady state distributions, which are either aggregated to typical performance measures like distributions of token populations and mean throughput of transitions.
Keywords for this software
References in zbMATH (referenced in 11 articles )
Showing results 1 to 11 of 11.
- Dayar, Tuğrul: Kronecker modeling and analysis of multidimensional Markovian systems (2018)
- Dayar, Tuǧrul; Orhan, M. Can: On vector-Kronecker product multiplication with rectangular factors (2015)
- Dayar, Tuǧrul: Analyzing Markov chains using Kronecker products. Theory and applications (2012)
- Wolf, Verena: Modelling of biochemical reactions by stochastic automata networks (2007)
- Buchholz, Peter; Dayar, Tugrul: Block SOR preconditioned projection methods for Kronecker structured Markovian representations (2005)
- Buchholz, Peter; Kemper, Peter: Kronecker based matrix representations for large Markov models (2004)
- Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten: Model-checking large structured Markov chains. (2003)
- Buchholz, Peter; Kemper, Peter: Hierarchical reachability graph generation for Petri nets (2002)
- Derisavi, Salem; Kemper, Peter; Sanders, William H.; Courtney, Tod: The Möbius state-level abstract functional interface (2002)
- Donatelli, S.; Kemper, P.: Integrating synchronization with priority into a Kronecker representation (2001)
- Buchholz, Peter; Kemper, Peter: A toolbox for the analysis of discrete event dynamic systems (1999)