S N O O P Y ' s  home page

latest update: December 02, 2009

Index:

general description
news
related papers
case studies
downloads
related software (import / export)
bug reports
mailing list

  G e n e r a l   D e s c r i p t i o n

Snoopy is a software tool to design and animate hierarchical graphs, among others Petri nets. The tool has been developed - and is still under development - at the University of Technology in Cottbus, Dep. of  Computer Science, "Data Structures and Software Dependability".

The tool is in use for the verification of technical systems, especially software-based systems, as well as for the validation of natural systems, i.e. biochemcial networks as metabolic, signal transduction, gene regulatory networks, compare [poster "overview on the research activities of our working group"].

Basic Properties

Main Features

Available Graph Classes

Upcoming

 R e l a t e d   P a p e r s

C a s e   S t u d i e s

Some Technical and Academic Case Studies

Some Biological Case Studies

  D o w n l o a d s

N e w s

Change log for Snoopy-BETA:

Any comments are welcome.

Windows version

  1. download
  2. after download finished double click on the *.msi and the installation starts
  3. start snoopy, e.g. by double click on the icon on your desktop

Linux version

  1. Ubuntu 9.10:
  2. Debian 5.0:
  3. OpenSUSE 11.1:
  4. Fedora 12:

Mac OS X version

  1. download
  2. open the dmg and drag snoopy to your favorite location
  3. start snoopy, e.g. by double click on the name

For our faithful long-term friends, who want to transfer their PED-files, we provide here a ped2snoopy converter, and some useful hints to use it.

Here are some examples to get used to the tool:

There is no manual available, but you will probably not miss it. Anyway, here you find some useful hints (tricks and tips, undocumented features, scheduled extensions, etc) are not supposed to be exhaustive.

 R e l a t e d  S o f t w a r e

Charlie

Charlie is a software tool to analyse Place/Transition nets. The tool is in use for the verification of technical systems, especially software-based systems, as well as for the validation of natural systems, i.e. biochemical networks as metabolic, signal transduction and gene regulatory networks. The tool has been developed - and is still under development - at our research group.

Main Features

DSSZ-MC

DSSZ-MC contains tools for the symbolic analysis of bounded Petri nets for standard properties and CTL model checking. They are based on an efficient implementation of Zero-suppressed Binary Decision Diagrams (zbdd-mc) and Interval Decision Diagrams (idd-mc).

Main Features

MC2(PLTLc)

MC2(PLTLc) is a Monte Carlo Model Checker for Probabilistic Linear Time Logic with numerical constraints. I t is  a product of the Bioinformatics Research Centre, University of Glasgow, UK. It analyses stochastic and deterministic simulation runs of stochastic or continuous models, e.g. stochastic or continuous Petri nets. It follows the off-line approach, i.e. MC2 takes as input any time series output, produced by simulations or measured in wetlab experiments; it reads Snoopy's Gillespie traces. MC2(PLTLc) home page

Main features

PInA

PInA is a software tool for computation and analysis of invariants of place/transition nets: PInA home page
The tool is in use for the verification of technical systems, especially software-based systems, as well as for the validation of natural systems, i.e. biochemcial networks as metabolic, signal transduction, gene regulatory networks.

Main Features

INA

INA - the Integrated Net Analyzer - may be used to to analyze Petri nets produced by Snoopy. The tool has been developed at the Humboldt University in Berlin, Dep. of Computer Science,  "automata theory" over about 20 years. So it shouldn't be a big suprise that it comes along with a pure ASCII user interface only. Recommendations for Windows users:

Snoopy provides an import from the following tools/languages:
Furthermore Snoopy provides exports to several analysis tools, among them:

 B u g   R e p o r t s

Submit your bug reports and comments about Snoopy to:

 M a i l i n g   L i s t

If you want to be close related to our Snoopy development you can join our mailing list:
This mailing list is for discussion of new features, bug reports, and for announcements of new Snoopy versions.
For joining our mailing list write an email to majordomo@informatik.tu-cottbus.de with no subject and the following text inside:
subscribe snoopy-l
Then you get a email with a authentication code to ensure that nobody can put others on the list. Reply to this email and send back only the line with the authentication code as described in the email.

. . .  t h e  e n d  . . .