data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Software tools

latest update: February 10, 2016, at 08:24 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)

First steps using our framework

  1. Download Snoopy, Charlie, Marcie and install them.
  2. Start modelling your net with Snoopy.
  3. Guidelines for using Snoopy can be found here.
  4. Use Snoopy's built-in animation/simulation for first insights.
  5. For further analysis of your net export it to ANDL.
  6. Use Charlie for structural properties, invariant based analysis and reachability graph based analysis.
  7. Use Marcie for qualitative and quantitative analysis of Generalized Stochastic Petri nets with extended arcs.

Former projects (no further development)

  • PED - our former hierarchical Petri net editor
  • PInA - a tool for computation and analysis of invariants in Petri nets
  • BDD Model Checking Tools - our former BDD based model checking tools

Snoopy & Charlie were used in the iGEM project , aiding in the process of formalising the original biologists' models.

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de