SNOOPY

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

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

1 2 next

  1. Assaf, George; Heiner, Monika; Liu, Fei: Colouring fuzziness for systems biology (2021)
  2. Edhlund, I.; Macauley, M.; Lee, C.: PBTK Optimizer: An Open Source Application for PBTK Model Parameter Optimization in Python (2021) not zbMATH
  3. Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris: Chromar, a language of parameterised agents (2019)
  4. Menini, Laura; Possieri, Corrado; Tornambè, Antonio: Boolean network analysis through the joint use of linear algebra and algebraic geometry (2019)
  5. Herajy, Mostafa; Liu, Fei; Heiner, Monika: Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights (2018)
  6. Ahmed, Waqar; Hasan, Osman; Tahar, Sofiène: Formal dependability modeling and analysis: a survey (2016)
  7. Bertens, Laura M. F.; Kleijn, Jetty; Hille, Sander C.; Heiner, Monika; Koutny, Maciej; Verbeek, Fons J.: Modeling biological gradient formation: combining partial differential equations and Petri nets (2016)
  8. Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel: Activity Networks with Delays An application to toxicity analysis (2016) arXiv
  9. Gratie, Diana-Elena; Gratie, Cristian: Composition colored Petri nets for the refinement of reaction-based models (2016)
  10. Fages, François; Gay, Steven; Soliman, Sylvain: Inferring reaction systems from ordinary differential equations (2015)
  11. Bonzanni, Nicola; Feenstra, K. Anton; Fokkink, Wan; Heringa, Jaap: Petri nets are a biologist’s best friend (2014)
  12. Herajy, Mostafa; Heiner, Monika: A steering server for collaborative simulation of quantitative Petri nets (2014) ioport
  13. Laubenbacher, Reinhard; Hinkelmann, Franziska; Murrugarra, David; Veliz-Cuba, Alan: Algebraic models and their use in systems biology (2014)
  14. Le, Dinh-Thuan; Nguyen, Huu-Vu; Nguyen, Van-Tinh; Mai, Phuong-Nam; Pham-Duy, Bao-Trung; Quan, Thanh-Tho; André, Étienne; Petrucci, Laure; Liu, Yang: PeCAn: compositional verification of Petri nets made easy (2014)
  15. Baldan, Paolo; Cocco, Nicoletta; Simeoni, Marta: Representing and comparing metabolic pathways as Petri nets with Mpath2PN and CoMeta (2013) ioport
  16. Durzinsky, Markus; Marwan, Wolfgang; Wagler, Annegret: Reconstruction of extended Petri nets from time-series data by using logical control functions (2013)
  17. Heiner, Monika; Rohr, Christian; Schwarick, Martin: MARCIE -- model checking and reachability analysis done efficiently (2013) ioport
  18. Herajy, Mostafa; Schwarick, Martin; Heiner, Monika: Hybrid Petri nets for modelling the eukaryotic cell cycle (2013)
  19. Liu, Fei; Heiner, Monika: Modeling membrane systems using colored stochastic Petri nets (2013)
  20. Carvalho, Rafael V.; Kleijn, Jetty; Meijer, Annemarie H.; Verbeek, Fons J.: Modeling innate immune response to early Mycobacterium infection (2012)

1 2 next


Further publications can be found at: http://www-dssz.informatik.tu-cottbus.de/DSSZ/Publications/Publications