메뉴 건너뛰기




Volumn 8489 LNCS, Issue , 2014, Pages 374-384

A steering server for collaborative simulation of quantitative Petri nets

Author keywords

collaborative simulation; computational steering; continuous; hybrid Petri nets; stochastic

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER SIMULATION; STOCHASTIC SYSTEMS;

EID: 84904115349     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-07734-5_21     Document Type: Conference Paper
Times cited : (10)

References (20)
  • 1
    • 84904110522 scopus 로고    scopus 로고
    • website, (accessed: January 14, 2014)
    • Boost website, http://www.boost.org/ (accessed: January 14, 2014)
  • 2
    • 84904099634 scopus 로고    scopus 로고
    • website, (accessed: January 10, 2014)
    • CPN tools website, http://cpntools.org/ (accessed: January 10, 2014)
  • 3
    • 84904131974 scopus 로고    scopus 로고
    • website, (accessed: January 10, 2014)
    • Virtual cell website, http://vcell.org/ (accessed: January 10, 2014)
  • 4
    • 84904100955 scopus 로고    scopus 로고
    • website, (accessed: January 15, 2014)
    • wxWidgets website, http://www.wxwidgets.org/ (accessed: January 15, 2014)
  • 5
    • 0034688220 scopus 로고    scopus 로고
    • Biological rhythms: Circadian clocks limited by noise
    • Barkai, N., Leibler, S.: Biological rhythms: circadian clocks limited by noise. Nature 403, 267-268 (2000)
    • (2000) Nature , vol.403 , pp. 267-268
    • Barkai, N.1    Leibler, S.2
  • 8
    • 33645429016 scopus 로고
    • Exact stochastic simulation of coupled chemical reactions
    • Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340-2361 (1977)
    • (1977) Journal of Physical Chemistry , vol.81 , Issue.25 , pp. 2340-2361
    • Gillespie, D.T.1
  • 9
    • 84862502916 scopus 로고    scopus 로고
    • Snoopy - A unifying Petri net tool
    • Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. Springer, Heidelberg
    • 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)
    • (2012) LNCS , vol.7347 , pp. 398-407
    • Heiner, M.1    Herajy, M.2    Liu, F.3    Rohr, C.4    Schwarick, M.5
  • 11
    • 84865545231 scopus 로고    scopus 로고
    • Hybrid representation and simulation of stiff biochemical networks
    • Herajy, M., Heiner, M.: Hybrid representation and simulation of stiff biochemical networks. J. Nonlinear Analysis: Hybrid Systems 6(4), 942-959 (2012)
    • (2012) J. Nonlinear Analysis: Hybrid Systems , vol.6 , Issue.4 , pp. 942-959
    • Herajy, M.1    Heiner, M.2
  • 13
    • 84893684114 scopus 로고    scopus 로고
    • Petri net-based collaborative simulation and steering of biochemical reaction networks
    • Herajy, M., Heiner, M.: Petri net-based collaborative simulation and steering of biochemical reaction networks. Fundamenta Informatica (129), 49-67 (2014)
    • (2014) Fundamenta Informatica , Issue.129 , pp. 49-67
    • Herajy, M.1    Heiner, M.2
  • 14
    • 84883137070 scopus 로고    scopus 로고
    • Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle
    • Koutny, M., van der Aalst, W.M.P., Yakovlev, A. (eds.) ToPNoC VIII. Springer, Heidelberg
    • Herajy, M., Schwarick, M., Heiner, M.: Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle. In: Koutny, M., van der Aalst, W.M.P., Yakovlev, A. (eds.) ToPNoC VIII. LNCS, vol. 8100, pp. 123-141. Springer, Heidelberg (2013)
    • (2013) LNCS , vol.8100 , pp. 123-141
    • Herajy, M.1    Schwarick, M.2    Heiner, M.3
  • 16
    • 84862490135 scopus 로고    scopus 로고
    • CPN Assistant II: A tool for management of networked simulations
    • Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. Springer, Heidelberg
    • Korečko, Š., Marcinčin, J., Slodičak, V.: CPN Assistant II: A tool for management of networked simulations. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 408-417. Springer, Heidelberg (2012)
    • (2012) LNCS , vol.7347 , pp. 408-417
    • Korečko, Š.1    Marcinčin, J.2    Slodičak, V.3
  • 17
    • 84855891503 scopus 로고    scopus 로고
    • Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks
    • ch. 1
    • Marwan, W., Rohr, C., Heiner, M.: Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks. In: Methods in Molec. Biol., vol. 804, ch. 1, pp. 409-437 (2012)
    • (2012) Methods in Molec. Biol. , vol.804 , pp. 409-437
    • Marwan, W.1    Rohr, C.2    Heiner, M.3
  • 18
    • 80055024030 scopus 로고    scopus 로고
    • Hybrid Petri net based modeling for biological pathway simulation
    • Matsuno, H., Nagasaki, M., Miyano, S.: Hybrid Petri net based modeling for biological pathway simulation. Natural Computing 10(3), 1099-1120 (2011)
    • (2011) Natural Computing , vol.10 , Issue.3 , pp. 1099-1120
    • Matsuno, H.1    Nagasaki, M.2    Miyano, S.3
  • 20
    • 77951956151 scopus 로고    scopus 로고
    • Snoopy - A unifying Petri net framework to investigate biomolecular networks
    • Advanced Access published February 7, 2010
    • Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974-975 (2010) (Advanced Access published February 7, 2010)
    • (2010) Bioinformatics , vol.26 , Issue.7 , pp. 974-975
    • Rohr, C.1    Marwan, W.2    Heiner, M.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.