{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:14Z","timestamp":1725550634908},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_4","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:04:06Z","timestamp":1129817046000},"page":"53-69","source":"Crossref","is-referenced-by-count":13,"title":["Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Wiley Series in Parallel Computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone-Marsan","year":"1995","unstructured":"Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, Chichester (1995)"},{"key":"4_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3038-0","volume-title":"Continuous-Time Markov Chains","author":"W.G. Anderson","year":"1991","unstructured":"Anderson, W.G.: Continuous-Time Markov Chains. Springer, Heidelberg (1991)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C. Baier","year":"2000","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model checking continuous-time markov chains by transient analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, Springer, Heidelberg (2000)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic Petri Nets, 2nd edn. Vieweg Verlag (2002)","DOI":"10.1007\/978-3-322-86501-4"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/3-540-44667-2_5","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Hermanns, H.: Process algebra and Markov chains. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 183\u2013231. Springer, Heidelberg (2001)"},{"issue":"3,4","key":"4_CR6","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae\u00a026(3,4), 241\u2013266 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR7","unstructured":"D\u2019Argenio, P.R.: Algebras and Automata for Timed and Stochastic Systems. IPA Dissertation Series 1999-10, CTIT PhD-Thesis Series 99-25, University of Twente (November 1999)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/SWAT.1973.11","volume-title":"14th Annual IEEE Symposium on Switching and Automata Theory","author":"H. Ehrig","year":"1973","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180. IEEE, Los Alamitos (1973)"},{"key":"4_CR9","volume-title":"Principles of Software Engineering Management","author":"T. Gilb","year":"1988","unstructured":"Gilb, T.: Principles of Software Engineering Management. Addison-Wesley, Reading (1988)"},{"issue":"3,4","key":"4_CR10","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026(3,4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-30203-2_16","volume-title":"Graph Transformations","author":"R. Heckel","year":"2004","unstructured":"Heckel, R., Lajios, G., Menge, S.: Stochastic graph transformation systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 210\u2013225. Springer, Heidelberg (2004)"},{"key":"4_CR12","unstructured":"Heckel, R., Lajios, G., Menge, S.: Modulare Analyse Stochastischer Graphtransformationssysteme. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering 2005, Essen, Germany, GI, March 2005. Lecture Notes in Informatics, vol.\u00a064, pp. 141\u2013152 (2005)"},{"key":"4_CR13","series-title":"Electronic Notes in TCS","first-page":"113","volume-title":"Proc. Joint COMPUGRAPH\/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA)","author":"M. Korff","year":"1995","unstructured":"Korff, M., Ribeiro, L.: Concurrent derivations as single pushout graph grammar processes. In: Proc. Joint COMPUGRAPH\/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA). Electronic Notes in TCS, vol.\u00a02, pp. 113\u2013122. Elsevier Science, Amsterdam (1995)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. Theoret. Comput. Sci.\u00a0109, 181\u2013224 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR16","volume-title":"Proc. International Symposium on Applications and the Internet (SAINT 2005)","author":"L. Mariani","year":"2005","unstructured":"Mariani, L.: Fault-tolerant routing for p2p systems with unstructured topology. In: Proc. International Symposium on Applications and the Internet (SAINT 2005), Trento (Italy). IEEE Computer Society, Los Alamitos (2005)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoret. Comput. Sci.\u00a096, 73\u2013155 (1992)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR18","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"4_CR19","unstructured":"Molloy, M.K.: On the Integration of Delay and Throughput Measures in Distributed Processing Models. PhD thesis, University of California (1981)"},{"key":"4_CR20","unstructured":"Natkin, S.: Les R\u00e9seaux de Petri Stochastiques et leur Application \u00e0 l\u2019Evaluation des Syst\u00e9mes Informatiques. PhD thesis, CNAM Paris (1980)"},{"key":"4_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810633","volume-title":"Markov Chains","author":"J.R. Norris","year":"1997","unstructured":"Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1997)"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038, 578\u2013589 (1995); Proc. PAPM 1995","journal-title":"The Computer Journal"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Foundations","year":"1997","key":"4_CR24","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"4_CR25","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W. Stewart","year":"1994","unstructured":"Stewart, W.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"4_CR26","unstructured":"University of Paderborn Software Engineering Group. The Fujaba Tool Suite, http:\/\/www.fujaba.de"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T11:07:56Z","timestamp":1586516876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11560647_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}