latest update: March 10, 2019, at 12:04 PM
All software tools are freely available for non-commercial use only.
However, we assume the self-evident rule of scientific honesty that credits are explicitly given in any publication or research project to all our tools, which have been used while pursuing them.
We are happy to receive your information to update our related bibliography.
- Snoopy - hierarchical Petri net editor; supports web-based Petri net animation, see sampler;
- Charlie - analysis of Petri net models
- Marcie - model checker for generalized stochastic Petri nets (former IDDMC)
- Spike - command line tool for continuous, stochastic & hybrid simulation of (coloured) Petri nets
First steps using our framework
- Download and install Snoopy, Charlie, Marcie, and Spike.
- Start modelling your net with Snoopy.
- Guidelines for using Snoopy can be found here.
- Use Snoopy's built-in animation/simulation for first insights.
- For further analysis of your net export it to ANDL.
- Use Charlie for structural properties, invariant based analysis and reachability graph based analysis.
- Use Marcie for qualitative and quantitative analysis of Generalized Stochastic Petri nets with extended arcs.
- Use Spike to set up simulation experiments with varying model and/or simulation parameters.
Former projects (no further development)
- PED - our former hierarchical Petri net editor, inspired many Snoopy features
- PInA - a tool for computation and analysis of invariants in Petri nets, with some influence on Charlie
- BDD Model Checking Tools - our former BDD based model checking tools, now incorporated in Marcie
Snoopy & Charlie were used in the iGEM project , aiding in the process of formalising the original biologists' models.