Charlie –

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

Volumn 9115, Issue , 2015, Pages 200-211

  Heiner, Monika ^a   Schwarick, Martin ^a   Wegener, Jan Thierry ^b  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITÉ CLERMONT AUVERGNE   (France)

Author keywords

Analysis tool; Explicit CTL LTL model checking; Java; Place transition invariants; Place transition petri nets; Plugin; Siphon trap property; Stochastic Petri nets; Threads; Time dependent petri nets

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; MODEL CHECKING; SIGNAL TRANSDUCTION; SIPHONS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; VERIFICATION;

ANALYSIS TOOLS; JAVA; PLACE/TRANSITION INVARIANTS; PLACE/TRANSITION PETRI NETS; PLUG-INS; STOCHASTIC PETRI NETS; THREADS; TIME DEPENDENT;

PETRI NETS;

EID: 84937399687     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-19488-2_10     Document Type: Conference Paper

References (41)

1. Angeli, D., De Leenheer, P., Sontag, E.: A Petri net approach to the study of persistence in chemical reaction networks. Mathematical biosciences 210(2), 598–618 (2007)
2. Berthomieu, B., Vernadat, F.: Time Petri nets analysis with Tina. In: Proc. QEST 2006, pp. 123–124. IEEE CS Press (2006)
3. Blätke, M., Dittrich, A., Rohr, C., Heiner, M., Schaper, F., Marwan, W.: JAK/- STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. Molecular BioSystem 9(6), 1290–1307 (2013)
4. Blätke, M., Heiner, M., Marwan, W.: Tutorial - Petri Nets in Systems Biology. Otto von Guericke University Magdeburg, Centre for Systems Biology, Tech. rep. (2011)
5. Blätke, M., Heiner, M., Marwan, W.: BioModel Engineering with Petri Nets, chap. 7, pp. 141–193. Elsevier Inc. (2015)
6. Blätke, M., Rohr, C., Heiner, M., Marwan, W.: A Petri Net based Framework for Biomodel Engineering, pp. 317–366. Modeling and Simulation in Science, Engineering and Technology. Springer, Birkhäuser Mathematics (2014)
7. Buchholz, P., Kemper, P.: A toolbox for the analysis of discrete event dynamic systems. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 483–486. Springer, Heidelberg (1999)
8. David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer (2004)
9. Dingle, N.J., Knottenbelt, W.J., Suto, T.: PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets. ACM SIGMETRICS Performance Evaluation Review 36(4), 34–39 (2009)
10. Donaldson, R.: Modelling and Analysis of Structure in Cellular Signalling Systems. Ph.D. thesis, University of Glasgow (2012)
11. Fischer, A.: State-space-based Analysis of time-dependent Petri nets (in German). Diploma thesis, BTU Cottbus, Dep. of CS (2009)
12. Formanowicz, D., Kozak, A., Głowacki, T., Radom, M., Formanowicz, P.: Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets. Journal of biomedical Informatics 46(6), 1030–1043 (2013)
13. Franzke, A.: Charlie 2.0 - a multi-threaded Petri net analyser. Diploma thesis, BTU Cottbus, Dep. of CS (2009)
14. Gilbert, D., Heiner, M.: From petri nets to differential equations - an integrative approach for biochemical network analysis. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 181–200. Springer, Heidelberg (2006)
15. Gilbert, D., Heiner, M., Rosser, S., Fulton, R., Gu, X., Trybiło, M.: A case study in model-driven synthetic biology. In: Hinchey, M., Pagnoni, A., Rammig, F.J., Schmeck, H. (eds.) 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008). IFIP, vol. 268, pp. 163–175. Springer, Boston (2008)
16. Gratie, D., Petre, I.: Quantitative Petri Nets Models for the Heat Shock Response. Tech. Rep. 1068, Turku Centre for Computer Science (2013)
17. Gu, X., Trybiło, M., Ramsay, S., Jensen, M., Fulton, R., Rosser, S., Gilbert, D.: Engineering a novel self-powering electrochemical biosensor. Systems and synthetic biology, pp. 1–12 (2010)
18. Hardy, S., Iyengar, R.: Analysis of Dynamical Models of Signaling Networks with Petri Nets and Dynamic Graphs, pp. 225–251. Springer (2011)
19. Heiner, M.: Understanding Network Behaviour by Structured Representations of Transition Invariants - A Petri Net Perspective on Systems and Synthetic Biology, pp. 367–389. Natural Computing Series. Springer (2009)
20. Heiner, M., Donaldson, R., Gilbert, D.: Petri Nets for Systems Biology, chap. 3, pp. 61–97. Jones & Bartlett Learning, LCC (2010)
21. Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy – a unifying petri net tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398–407. Springer, Heidelberg (2012)
22. Heiner, M., Mahulea, C., Silva, M.: On the Importance of the Deadlock Trap Property for Monotonic Liveness. In: Int. Workshop on Biological Processes & Petri Nets (BioPPN), satellite event of Petri Nets 2010, pp. 39–54 (2010)
23. Heiner, M., Rohr, C., Schwarick, M.: MARCIE – model checking and reachability analysis done efficiently. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 389–399. Springer, Heidelberg (2013)
24. Heiner, M., Schwarick, M., Tovchigrechko, A.: DSSZ-MC – a tool for symbolic analysis of extended petri nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 323–332. Springer, Heidelberg (2009)
25. Heiner, M., Sriram, K.: Structural analysis to determine the core of hypoxia response network. PLoS ONE 5(1), e8600 (2010)
26. 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)
27. Herajy, M., Heiner, M.: A steering server for collaborative simulation of quantitative petri nets. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 374–384. Springer, Heidelberg (2014)
28. Liu, F., Heiner, M.: Petri Nets for Modeling and Analyzing Biochemical Reaction Networks, chap. 9, pp. 245–272. Springer (2014)
29. Marwan, W., Wagler, A., Weismantel, R.: A mathematical approach to solve the network reconstruction problem. Mathematical Methods of Operations Research 67(1), 117–132 (2008)
30. Minervini, G., Panizzoni, E., Giollo, M., Masiero, A., Ferrari, C., Tosatto, S.: Design and Analysis of a Petri Net Model of the Von Hippel-Lindau (VHL) Tumor Suppressor Interaction Network. PloS one 9(6), e96986 (2014)
31. Popova-Zeugmann, L., Heiner, M.: Worst-case analysis of concurrent systems with Duration Interval Petri Nets. In: Schnieder, E.; Abel, D. (eds.) Proc. 5. EKA 1997, Braunschweig, May 1997, IfRA 1997, pp. 162–179 (1997)
32. Rodriguez, E.M.: A Mathematical Model For Cephalostatin 1-Induced Apoptosis In Leukemic Cells. Ph.D. thesis, University of the Philippines, College of Science, Institute of Mathematics (2008)
33. Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974–975 (2010)
34. del Rosario, R., Mendoza, E., Oesterhelt, D.: Modelling the Bioenergetics of Halobacterium Salinarum with Petri Nets. Journal of Computational and Theoretical Nanoscience 6(8), 1965–1976 (2009)
35. Schulz, K.: An Extension of the Snoopy Software to Process and Manage Petri Net Animations (in German). Bachelor thesis, BTU Cottbus, Dep. of CS, November 2008
36. Schwarick, M., Rohr, C., Heiner, M.: Marcie - model checking and reachability analysis done efficiently. In: Proc. QEST 2011. pp. 91–100. IEEE CS Press (2011)
37. Schwarick, M.: A Petri net analysis tool (in German). Diploma thesis, BTU Cottbus, Dep. of CS (2006)
38. Shinar, G., Feinberg, M.: Structural Sources of Robustness in Biochemical Reaction Networks. Science 327, 1389–1391 (2010)
39. Silva, M., Terue, E., Colom, J.M.: Linear algebraic and linear programming techniques for the analysis of place/transition net systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 309–373. Springer, Heidelberg (1998)
40. Starke, P.H., Roch, S.: INA, Integrated Net Analyzer, Version 2.2, Manual. Humboldt University Berlin, Dep. of CS (2003)
41. Wegener, J., Schwarick, M., Heiner, M.: A Plugin System for Charlie. In: Proc. International Workshop on Concurrency, Specification, and Programming (CS&P 2011), pp. 531–554. Białystok University of Technology (2011)