{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:22:16Z","timestamp":1761675736442},"reference-count":5,"publisher":"Oxford University Press (OUP)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Summary: To investigate biomolecular networks, Snoopy provides a unifying Petri net framework comprising a family of related Petri net classes. Models can be hierarchically structured, allowing for the mastering of larger networks. To move easily between the qualitative, stochastic and continuous modelling paradigms, models can be converted into each other. We get models sharing structure, but specialized by their kinetic information. The analysis and iterative reverse engineering of biomolecular networks is supported by the simultaneous use of several Petri net classes, while the graphical user interface adapts dynamically to the active one. Built-in animation and simulation are complemented by exports to various analysis tools. Snoopy facilitates the addition of new Petri net classes thanks to its generic design.<\/jats:p>\n               <jats:p>Availability: Our tool with Petri net samples is available free of charge for non-commercial use at http:\/\/www-dssz.informatik.tu-cottbus.de\/snoopy.html; supported operating systems: Mac OS X, Windows and Linux (selected distributions).<\/jats:p>\n               <jats:p>Contact: \u00a0snoopy@informatik.tu-cottbus.de<\/jats:p>","DOI":"10.1093\/bioinformatics\/btq050","type":"journal-article","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T01:12:44Z","timestamp":1265591564000},"page":"974-975","source":"Crossref","is-referenced-by-count":105,"title":["Snoopy\u2014a unifying Petri net framework to investigate biomolecular networks"],"prefix":"10.1093","volume":"26","author":[{"given":"Christian","family":"Rohr","sequence":"first","affiliation":[{"name":"1 Magdeburg Centre for Systems Biology (MaCS), Otto von Guericke University, 2 Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg and 3 Data Structures and Software Dependability, Computer Science Department, Brandenburg University of Technology, Cottbus, Germany"},{"name":"1 Magdeburg Centre for Systems Biology (MaCS), Otto von Guericke University, 2 Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg and 3 Data Structures and Software Dependability, Computer Science Department, Brandenburg University of Technology, Cottbus, Germany"},{"name":"1 Magdeburg Centre for Systems Biology (MaCS), Otto von Guericke University, 2 Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg and 3 Data Structures and Software Dependability, Computer Science Department, Brandenburg University of Technology, Cottbus, Germany"}]},{"given":"Wolfgang","family":"Marwan","sequence":"additional","affiliation":[{"name":"1 Magdeburg Centre for Systems Biology (MaCS), Otto von Guericke University, 2 Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg and 3 Data Structures and Software Dependability, Computer Science Department, Brandenburg University of Technology, Cottbus, Germany"},{"name":"1 Magdeburg Centre for Systems Biology (MaCS), Otto von Guericke University, 2 Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg and 3 Data Structures and Software Dependability, Computer Science Department, Brandenburg University of Technology, Cottbus, Germany"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[{"name":"1 Magdeburg Centre for Systems Biology (MaCS), Otto von Guericke University, 2 Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg and 3 Data Structures and Software Dependability, Computer Science Department, Brandenburg University of Technology, Cottbus, Germany"}]}],"member":"286","published-online":{"date-parts":[[2010,2,7]]},"reference":[{"key":"2023012508030717300_B1","first-page":"215","article-title":"Petri nets in systems and synthetic biology","volume-title":"School on Formal Methods","author":"Heiner","year":"2008"},{"key":"2023012508030717300_B2","first-page":"8","article-title":"Snoopy\u2014a tool to design and execute graph-based formalisms","volume":"74","author":"Heiner","year":"2008","journal-title":"Petri Net Newsl."},{"key":"2023012508030717300_B3","first-page":"323","article-title":"DSSZ-MC\u2014a tool for symbolic analysis of extended Petri nets","volume-title":"Proceedings of 30th International Conference, PETRI NETS 2009","author":"Heiner","year":"2009"},{"key":"2023012508030717300_B4","first-page":"138","volume-title":"Extended Stochastic Petri Nets for Model-based Design of Wetlab Experiments.","author":"Heiner","year":"2009"},{"key":"2023012508030717300_B5","first-page":"296","article-title":"CSL model checking of biochemical networks with interval decision diagrams","volume-title":"Proceedings of the 7th International Conference on Computational Methods in Systems Biology (CMSB 2009)","author":"Schwarick","year":"2009"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/26\/7\/974\/48854192\/bioinformatics_26_7_974.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/26\/7\/974\/48854192\/bioinformatics_26_7_974.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T08:04:37Z","timestamp":1674633877000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/26\/7\/974\/212033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,7]]},"references-count":5,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2010,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btq050","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2010,4,1]]},"published":{"date-parts":[[2010,2,7]]}}}