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 19 articles , 1 standard article )

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

  1. Fages, François; Gay, Steven; Soliman, Sylvain: Inferring reaction systems from ordinary differential equations (2015)
  2. Herajy, Mostafa; Heiner, Monika: A steering server for collaborative simulation of quantitative Petri nets (2014)
  3. Baldan, Paolo; Cocco, Nicoletta; Simeoni, Marta: Representing and comparing metabolic pathways as Petri nets with Mpath2PN and CoMeta (2013)
  4. Durzinsky, Markus; Marwan, Wolfgang; Wagler, Annegret: Reconstruction of extended Petri nets from time-series data by using logical control functions (2013)
  5. Heiner, Monika; Rohr, Christian; Schwarick, Martin: MARCIE -- model checking and reachability analysis done efficiently (2013)
  6. Herajy, Mostafa; Schwarick, Martin; Heiner, Monika: Hybrid Petri nets for modelling the eukaryotic cell cycle (2013)
  7. Liu, Fei; Heiner, Monika: Modeling membrane systems using colored stochastic Petri nets (2013)
  8. Heiner, Monika; Herajy, Mostafa; Liu, Fei; Rohr, Christian; Schwarick, Martin: Snoopy -- a unifying Petri net tool (2012)
  9. Herajy, Mostafa; Heiner, Monika: Hybrid representation and simulation of stiff biochemical networks (2012)
  10. Heiner, Monika; Gilbert, David: How Petri nets might enhance your systems biology toolkit (2011)
  11. Popova-Zeugmann, Louchka: Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (2011)
  12. Schwarick, Martin; Tovchigrechko, Alexej: IDD-based model validation of biochemical networks (2011)
  13. Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta: Petri nets for modelling metabolic pathways: a survey (2010)
  14. Heiner, Monika; Lehrack, Sebastian; Gilbert, David; Marwan, Wolfgang: Extended stochastic Petri nets for model-based design of wetlab experiments (2009)
  15. Emerson, E.Allen; Kahlon, Vineet: Rapid parameterized model checking of snoopy cache coherence protocols (2003)
  16. Emerson, E.Allen; Kahlon, Vineet: Exact and efficient verification of parameterized cache coherence protocols (2003)
  17. Chatterjee, Prosenjit; Gopalakrishnan, Ganesh: A specification and verification framework for developing weak shared memory consistency protocols (2002)
  18. Henzinger, Thomas A.; Qadeer, Shaz; Rajamani, Sriram K.: Verifying sequential consistency on shared-memory multiprocessor systems (1999)
  19. Karlin, A.R.; Manasse, M.S.; McGeoch, L.A.; Owicki, S.: Competitive randomized algorithms for nonuniform problems (1994)

Further publications can be found at: