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

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

1 2 next

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

1 2 next


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