Software Search - zbMATH Open

SNOOPY

swMATH ID:	4386
Software Authors:	M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Description:	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”.
Homepage:	http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Snoopy
Related Software:	SUNDIALS; CPN/Tools; Cell Illustrator; KEGG; INA; ADAM; Macaulay2; ZBDD; MARCIE; Charlie; MoVisPP; COPASI; PNML; DSSZ-MC; NuSMV; APL; PySB; BioNetGen; Haskell; GPenSIM
Cited in:	30 Publications
Further Publications:	http://www-dssz.informatik.tu-cottbus.de/DSSZ/Publications/Publications

1 Publication describing the Software	Year
Snoopy -- a unifying Petri net tool Heiner, Monika; Herajy, Mostafa; Liu, Fei; Rohr, Christian; Schwarick, Martin	2012

all top 5

8	Heiner, Monika
3	Herajy, Mostafa
2	Emerson, Ernest Allen
2	Gilbert, David
2	Honorato-Zimmer, Ricardo
2	Kahlon, Vineet
2	Kleijn, Jetty
2	Marwan, Wolfgang
2	Millar, Andrew J.
2	Plotkin, Gordon D.
2	Schwarick, Martin
2	Verbeek, Fons J.
2	Zardilis, Argyris
1	Ahmad, Jamil
1	Ahmed, Waqar
1	André, Étienne
1	Ashraf, Shifa Tariq
1	Assaf, George
1	Baldan, Paolo
1	Bertens, Laura M. F.
1	Bonzanni, Nicola
1	Carvalho, Rafael V.
1	Chatterjee, Prosenjit
1	Chen, Ming
1	Cocco, Nicoletta
1	de Vink, Erik P.
1	Durzinsky, Markus
1	Fages, François
1	Feenstra, K. Anton
1	Fokkink, Willem Jan
1	Gay, Steven
1	Gopalakrishnan, Ganesh Lalitha
1	Gratie, Cristian
1	Gratie, Diana-Elena
1	Hafidi, Y.
1	Hariharaputran, Sridhar
1	Hasan, Osman
1	Henzinger, Thomas A.
1	Heringa, Jaap
1	Hille, Sander Cornelis
1	Hinkelmann, Franziska
1	Hofestädt, Ralf
1	Karlin, Anna R.
1	Kormeier, Benjamin
1	Koutny, Maciej
1	Laubenbacher, Reinhard C.
1	Le, Dinh-Thuan
1	Lehrack, Sebastian
1	Liu, Yang
1	Mai, Phuong-Nam
1	Manasse, Mark S.
1	Marin, Andrea
1	McGeoch, Lyle A.
1	Meijer, Annemarie H.
1	Menini, Laura
1	Murrugarra, David
1	Naz, Anam
1	Nguyen, Huu-Vu
1	Nguyen, Van-Tinh
1	Obaid, Ayesha
1	Owicki, Susan S.
1	Petrucci, Laure
1	Pham-Duy, Bao-Trung
1	Popova-Zeugmann, Louchka
1	Possieri, Corrado
1	Qadeer, Shaz
1	Quan, Thanh-Tho
1	Rajamani, Sriram K.
1	Saeed, Muhammad Tariq
1	Shahid, Fatima
1	Simeoni, Marta
1	Soliman, Sylvain
1	Tahar, Sofiène
1	Tornambè, Antonio
1	Tovchigrechko, Alexej
1	Veliz-Cuba, Alan
1	Wagler, Annegret Katrin

all top 5

5	Natural Computing
4	Theoretical Computer Science
2	Nonlinear Analysis. Hybrid Systems
1	Journal of Mathematical Biology
1	Algorithmica
1	Mathematical Biosciences and Engineering
1	Computational & Mathematical Methods in Medicine
1	Journal of Theoretical Biology
1	Journal of Logical and Algebraic Methods in Programming

all top 5

21	Computer science (68-XX)
19	Biology and other natural sciences (92-XX)
2	Systems theory; control (93-XX)
1	Mathematical logic and foundations (03-XX)
1	Algebraic geometry (14-XX)
1	Linear and multilinear algebra; matrix theory (15-XX)
1	Partial differential equations (35-XX)