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

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

1 2 next

  1. Edhlund, I.; Macauley, M.; Lee, C.: PBTK Optimizer: An Open Source Application for PBTK Model Parameter Optimization in Python (2021) not zbMATH
  2. Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris: Chromar, a language of parameterised agents (2019)
  3. Menini, Laura; Possieri, Corrado; Tornambè, Antonio: Boolean network analysis through the joint use of linear algebra and algebraic geometry (2019)
  4. 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)
  5. Ahmed, Waqar; Hasan, Osman; Tahar, Sofiène: Formal dependability modeling and analysis: a survey (2016)
  6. 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)
  7. Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel: Activity Networks with Delays An application to toxicity analysis (2016) arXiv
  8. Gratie, Diana-Elena; Gratie, Cristian: Composition colored Petri nets for the refinement of reaction-based models (2016)
  9. Fages, François; Gay, Steven; Soliman, Sylvain: Inferring reaction systems from ordinary differential equations (2015)
  10. Bonzanni, Nicola; Feenstra, K. Anton; Fokkink, Wan; Heringa, Jaap: Petri nets are a biologist’s best friend (2014)
  11. Herajy, Mostafa; Heiner, Monika: A steering server for collaborative simulation of quantitative Petri nets (2014) ioport
  12. Laubenbacher, Reinhard; Hinkelmann, Franziska; Murrugarra, David; Veliz-Cuba, Alan: Algebraic models and their use in systems biology (2014)
  13. 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)
  14. Baldan, Paolo; Cocco, Nicoletta; Simeoni, Marta: Representing and comparing metabolic pathways as Petri nets with Mpath2PN and CoMeta (2013) ioport
  15. Durzinsky, Markus; Marwan, Wolfgang; Wagler, Annegret: Reconstruction of extended Petri nets from time-series data by using logical control functions (2013)
  16. Heiner, Monika; Rohr, Christian; Schwarick, Martin: MARCIE -- model checking and reachability analysis done efficiently (2013) ioport
  17. Herajy, Mostafa; Schwarick, Martin; Heiner, Monika: Hybrid Petri nets for modelling the eukaryotic cell cycle (2013)
  18. Liu, Fei; Heiner, Monika: Modeling membrane systems using colored stochastic Petri nets (2013)
  19. Carvalho, Rafael V.; Kleijn, Jetty; Meijer, Annemarie H.; Verbeek, Fons J.: Modeling innate immune response to early Mycobacterium infection (2012)
  20. Heiner, Monika; Herajy, Mostafa; Liu, Fei; Rohr, Christian; Schwarick, Martin: Snoopy -- a unifying Petri net tool (2012) ioport

1 2 next

Further publications can be found at: