Abstract
The tool Snoopy provides a unifying Petri net framework which has particularly many application scenarios in systems and synthetic biology. The framework consists of two levels: uncoloured and coloured. Each level comprises a family of related Petri net classes, sharing structure, but being specialized by their kinetic information. Petri nets of all net classes within one level can be converted into each other, while changing the level involves user-guided folding or automatic unfolding. Models can be hierarchically structured, allowing for the mastering of larger networks. Snoopy supports the simultaneous use of several Petri net classes; the graphical user interface adapts dynamically to the active one. Built-in animation and simulation (depending on the net class) are complemented by export to various analysis tools. Snoopy facilitates the extension by new Petri net classes thanks to its generic design.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
CPN Tools website, http://cpntools.org/ (accessed: March 30, 2012)
Gecode website, http://www.gecode.org/ (accessed: March 30, 2012)
GreatSPN website, http://www.di.unito.it/~greatspn/index.html (accessed: March 30, 2012)
MC2 website, http://www.brc.dcs.gla.ac.uk/software/mc2 (accessed: March 30, 2012)
OGDF - Open graph drawing framework website, http://www.ogdf.net/doku.php/start (accessed: March 30, 2012)
Wxwidgets website, http://www.wxwidgets.org (accessed: March 30, 2012)
Bornstein, B.J., Keating, S.M., Jouraku, A., Hucka, M.: LibSBML: an API library for SBML. Bioinformatics 24(6) (2008)
Gilbert, D., Heiner, M.: Petri nets for multiscale Systems Biology. Brunel University, Uxbridge/London (2011), http://multiscalepn.brunel.ac.uk/
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340–2361 (1977)
Heiner, M., Gilbert, D.: How Might Petri Nets Enhance Your Systems Biology Toolkit. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 17–37. Springer, Heidelberg (2011)
Heiner, M., Gilbert, D., Donaldson, R.: Petri Nets for Systems and Synthetic Biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215–264. Springer, Heidelberg (2008)
Heiner, M., Lehrack, S., Gilbert, D., Marwan, W.: Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS (LNBI), vol. 5750, pp. 138–163. Springer, Heidelberg (2009)
Heiner, M., Richter, R., Schwarick, M., Rohr, C.: Snoopy-a tool to design and execute graph-based formalisms. Petri Net Newsletter 74, 8–22 (2008)
Herajy, M., Heiner, M.: Hybrid representation and simulation of stiff biochemical networks through generalised hybrid Petri nets. Tech. Rep. 02–11, BTU Cottbus, Computer Science Institute (2011)
Hindmarsh, A., Brown, P., Grant, K., Lee, S., Serban, R., Shumaker, D., Woodward, C.: Sundials: Suite of nonlinear and differential/algebraic equation solvers. ACM Trans. Math. Softw. 31, 363–396 (2005)
Kafura, D., Tatar, D.: Initial experience with a computational thinking course for computer science students. In: Proc. SIGCSE 2011, pp. 251–256. ACM (2011)
Liu, F.: Colored Petri Nets for Systems Biology. Ph.D. thesis, BTU Cottbus, Computer Science Institute (January 2012)
Liu, F., Heiner, M., Rohr, C.: Manual for Colored Petri Nets in Snoopy. Tech. Rep. 02–12, BTU Cottbus, Computer Science Institute (March 2012)
Nagasaki, M., Saito, A., Jeong, E., Li, C., Kojima, K., Ikeda, E., Miyano, S.: Cell Illustrator 4.0: a Comp. Platform for Systems Biology. Silico Biology 10 (2010)
Petre, I.: Introduction to Computational and Systems Biology, Collection of Modelling Reports, Åbo Akademi, Department of IT (2011)
Petri Net Markup Language (PNML): Systems and software engineering – High-level Petri nets – Part 2: Transfer format, ISO/IEC 15909–2:2011 (2009)
Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974–975 (2010)
Schwarick, M., Rohr, C., Heiner, M.: MARCIE - Model checking And Reachability analysis done effiCIEntly. In: Proc. QEST 2011. pp. 91–100 (2011)
Wegener, J., Schwarick, M., Heiner, M.: A Plugin System for Charlie. In: Proc. CS&P 2011, pp. 531–554. Białystok University of Technology (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M. (2012). Snoopy – A Unifying Petri Net Tool. In: Haddad, S., Pomello, L. (eds) Application and Theory of Petri Nets. PETRI NETS 2012. Lecture Notes in Computer Science, vol 7347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31131-4_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-31131-4_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31130-7
Online ISBN: 978-3-642-31131-4
eBook Packages: Computer ScienceComputer Science (R0)