Snoopy - A unifying Petri net tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7347 LNCS, Issue , 2012, Pages 398-407

  Heiner, Monika ^a   Herajy, Mostafa ^a   Liu, Fei ^a   Rohr, Christian ^a   Schwarick, Martin ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

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

Indexed keywords

ANALYSIS TOOLS; APPLICATION SCENARIO; GENERIC DESIGN; HYBRID PETRI NET; KINETIC INFORMATION; LARGER NETWORKS; MODELLING; NET FRAMEWORK; SIMULATION; SIMULTANEOUS USE; SYNTHETIC BIOLOGY;

ANIMATION; GRAPHICAL USER INTERFACES;

PETRI NETS;

EID: 84862502916     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31131-4_22     Document Type: Conference Paper

References (24)

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)
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)
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)
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)
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)
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)
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)
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)
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)
17. Liu, F.: Colored Petri Nets for Systems Biology. Ph.D. thesis, BTU Cottbus, Computer Science Institute (January 2012)
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)
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)
20. Petre, I.: Introduction to Computational and Systems Biology, Collection of Modelling Reports, Åbo Akademi, Department of IT (2011)
21. Petri Net Markup Language (PNML): Systems and software engineering - High-level Petri nets - Part 2: Transfer format, ISO/IEC 15909-2:2011 (2009)
22. Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974-975 (2010)
23. Schwarick, M., Rohr, C., Heiner, M.: MARCIE - Model checking And Reachability analysis done effiCIEntly. In: Proc. QEST 2011. pp. 91-100 (2011)
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)