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”.

References in zbMATH (referenced in 23 articles , 1 standard article )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel: Activity Networks with Delays An application to toxicity analysis (2016) arXiv
  2. Gratie, Diana-Elena; Gratie, Cristian: Composition colored Petri nets for the refinement of reaction-based models (2016)
  3. Fages, François; Gay, Steven; Soliman, Sylvain: Inferring reaction systems from ordinary differential equations (2015)
  4. Herajy, Mostafa; Heiner, Monika: A steering server for collaborative simulation of quantitative Petri nets (2014)
  5. Laubenbacher, Reinhard; Hinkelmann, Franziska; Murrugarra, David; Veliz-Cuba, Alan: Algebraic models and their use in systems biology (2014)
  6. Baldan, Paolo; Cocco, Nicoletta; Simeoni, Marta: Representing and comparing metabolic pathways as Petri nets with Mpath2PN and CoMeta (2013) ioport
  7. Durzinsky, Markus; Marwan, Wolfgang; Wagler, Annegret: Reconstruction of extended Petri nets from time-series data by using logical control functions (2013)
  8. Heiner, Monika; Rohr, Christian; Schwarick, Martin: MARCIE -- model checking and reachability analysis done efficiently (2013) ioport
  9. Herajy, Mostafa; Schwarick, Martin; Heiner, Monika: Hybrid Petri nets for modelling the eukaryotic cell cycle (2013)
  10. Liu, Fei; Heiner, Monika: Modeling membrane systems using colored stochastic Petri nets (2013)
  11. Heiner, Monika; Herajy, Mostafa; Liu, Fei; Rohr, Christian; Schwarick, Martin: Snoopy -- a unifying Petri net tool (2012) ioport
  12. Herajy, Mostafa; Heiner, Monika: Hybrid representation and simulation of stiff biochemical networks (2012)
  13. Heiner, Monika; Gilbert, David: How Petri nets might enhance your systems biology toolkit (2011)
  14. Popova-Zeugmann, Louchka: Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (2011)
  15. Schwarick, Martin; Tovchigrechko, Alexej: IDD-based model validation of biochemical networks (2011)
  16. Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta: Petri nets for modelling metabolic pathways: a survey (2010)
  17. Rohr, Christian; Marwan, Wolfgang; Heiner, Monika: Snoopy - a unifying Petri net framework to investigate biomolecular networks (2010) ioport
  18. Heiner, Monika; Lehrack, Sebastian; Gilbert, David; Marwan, Wolfgang: Extended stochastic Petri nets for model-based design of wetlab experiments (2009)
  19. Emerson, E. Allen; Kahlon, Vineet: Exact and efficient verification of parameterized cache coherence protocols (2003)
  20. Emerson, E. Allen; Kahlon, Vineet: Rapid parameterized model checking of snoopy cache coherence protocols (2003)

1 2 next

Further publications can be found at: