Stochastic Petri Nets are a well-known class of models that has been extensively used by computer scientists to analyse distributed and parallel systems. The Petri Net theory as it was developed by Adam Petri [5] offer means to analyse topological properties of the net such as the existence of deadlocks or invariants. With their stochastic extension, Petri Nets can also be used to model the dynamics of stochastic systems. The underlying Markov Process and information about its steady state behavior can easily be obtained.

All these properties have proven to be useful in the context of biological applications [6]. For instance some topological properties of the net are also meaningful in a biological con-text [7]. In addition, Stochastic Petri Nets have also been successfully applied to simulate random fluctuations on the level of gene expression [1]. In contrast to other modelling tools for biological systems, Petri Nets offer a more formal view and the underlying theory is well understood.

Nevertheless there are no editors for Stochastic Petri Nets that are tailored for biological applications. As an example, the Systems Biology Markup Language [3] is a standard for the storage of biological models, which allows exchanging models between different programs. But so far there is no Petri Net tool that supports this markup language.

For these reasons I develop a Stochastic Petri Net module for the Systems Biology Workbench (SBW) [2]. The module is based on the Open Source project The Petri Net Kernel [4]. This project is a framework for the editing and simulation of Petri Nets. I implemented support for Stochastic Nets and SBML as well as an interface to the Systems Biology Workbench. Using this interface various simulation features will be available. I will validate this software with a simple Petri Net model of Volterra-Lotka reactions and its stochastic simulation. In the near future I will use this software to further explore issues that arise from the application of Stochastic Petri Nets to biological systems.

There are several open questions that would be worthwhile to address. For instance, can the topology of the net be used to compute its steady state distribution more efficiently? Other interesting points are the representation of membranes, diffusion processes or reversible reactions in the Petri Net. The software will be made available online.