Skip to main content
View expanded cover

International Conference on Application and Theory of Petri Nets and Concurrency

PETRI NETS 2012: Application and Theory of Petri Nets pp 398–407Cite as

Snoopy – A Unifying Petri Net Tool

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7347)

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.

Keywords

  • hierarchical (coloured) qualitative/stochastic/continuous/ hybrid Petri nets
  • modelling
  • animation
  • simulation

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-31131-4_22
  • Chapter length: 10 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-31131-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   84.99
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CPN Tools website, http://cpntools.org/ (accessed: March 30, 2012)

  2. Gecode website, http://www.gecode.org/ (accessed: March 30, 2012)

  3. GreatSPN website, http://www.di.unito.it/~greatspn/index.html (accessed: March 30, 2012)

  4. MC2 website, http://www.brc.dcs.gla.ac.uk/software/mc2 (accessed: March 30, 2012)

  5. OGDF - Open graph drawing framework website, http://www.ogdf.net/doku.php/start (accessed: March 30, 2012)

  6. Wxwidgets website, http://www.wxwidgets.org (accessed: March 30, 2012)

  7. Bornstein, B.J., Keating, S.M., Jouraku, A., Hucka, M.: LibSBML: an API library for SBML. Bioinformatics 24(6) (2008)

    Google Scholar 

  8. Gilbert, D., Heiner, M.: Petri nets for multiscale Systems Biology. Brunel University, Uxbridge/London (2011), http://multiscalepn.brunel.ac.uk/

  9. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340–2361 (1977)

    CrossRef  Google Scholar 

  10. 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)

    CrossRef  Google Scholar 

  11. 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)

    CrossRef  Google Scholar 

  12. 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)

    CrossRef  Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    MathSciNet  MATH  CrossRef  Google Scholar 

  16. Kafura, D., Tatar, D.: Initial experience with a computational thinking course for computer science students. In: Proc. SIGCSE 2011, pp. 251–256. ACM (2011)

    Google Scholar 

  17. Liu, F.: Colored Petri Nets for Systems Biology. Ph.D. thesis, BTU Cottbus, Computer Science Institute (January 2012)

    Google Scholar 

  18. Liu, F., Heiner, M., Rohr, C.: Manual for Colored Petri Nets in Snoopy. Tech. Rep. 02–12, BTU Cottbus, Computer Science Institute (March 2012)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. Petre, I.: Introduction to Computational and Systems Biology, Collection of Modelling Reports, Åbo Akademi, Department of IT (2011)

    Google Scholar 

  21. Petri Net Markup Language (PNML): Systems and software engineering – High-level Petri nets – Part 2: Transfer format, ISO/IEC 15909–2:2011 (2009)

    Google Scholar 

  22. Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974–975 (2010)

    CrossRef  Google Scholar 

  23. Schwarick, M., Rohr, C., Heiner, M.: MARCIE - Model checking And Reachability analysis done effiCIEntly. In: Proc. QEST 2011. pp. 91–100 (2011)

    Google Scholar 

  24. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Institute, Brandenburg University of Technology Cottbus, Postbox 10 13 44, 03013, Cottbus, Germany

    Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr & Martin Schwarick

Authors
  1. Monika Heiner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mostafa Herajy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fei Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Christian Rohr
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Martin Schwarick
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire Spécification et Vérification, Ecole Normale Supérieure de Cachan, 61, avenue du Président Wilson, 94235, Cachan, France

    Serge Haddad

  2. Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano–Bicocca, Viale Sarca, 336, 20126, Milano, Italy

    Lucia Pomello

Rights and permissions

Reprints 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)