{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:09Z","timestamp":1762458849122},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232070"},{"type":"electronic","value":"9783540302032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30203-2_16","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T18:59:27Z","timestamp":1285095567000},"page":"210-225","source":"Crossref","is-referenced-by-count":15,"title":["Stochastic Graph Transformation Systems"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Lajios","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Menge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"The attributed graph grammar system, http:\/\/tfs.cs.tu-berlin.de\/agg\/","key":"16_CR1"},{"key":"16_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":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-40020-2_1","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L. Andrade","year":"2003","unstructured":"Andrade, L., Baldan, P., Baumeister, H.: AGILE: Software architecture for mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 1\u201333. Springer, Heidelberg (2003)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","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, pp. 358\u2013372. Springer, Heidelberg (2000)"},{"doi-asserted-by":"crossref","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic Petri Nets, 2nd edn. Vieweg Verlag (2002)","key":"16_CR5","DOI":"10.1007\/978-3-322-86501-4"},{"key":"16_CR6","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)"},{"unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Rossi, F.: Note on standard representation of graphs and graph derivations. Technical Report 92-25, FB13 (1992)","key":"16_CR7"},{"issue":"3,4","key":"16_CR8","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":"16_CR9","series-title":"Elect. Notes in Th. Comput. Sci.","volume-title":"Proceedings 2nd Int. Workshop on Graph Transformation and Visual Modeling Technique (GT-VMT 2001)","author":"A. Corradini","year":"2001","unstructured":"Corradini, A., Ribeiro, L., Dotti, F.L.: A graph transformation view on the specification of applications using mobile code. In: Taentzer, G., Baresi, L., Pezze, M., Zaroliagis, C. (eds.) Proceedings 2nd Int. Workshop on Graph Transformation and Visual Modeling Technique (GT-VMT 2001). Elect. Notes in Th. Comput. Sci., vol.\u00a050.3, Elsevier Science, Amsterdam (2001)"},{"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":"16_CR10"},{"unstructured":"Diederich, J., Wolf, L., Zitterbart, M.: A mobile differentiated services QoS model. In: Proceedings of the 3rd Workshop on Applications and Services in Wireless Networks (2003)","key":"16_CR11"},{"key":"16_CR12","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":"16_CR13","series-title":"Elect. Notes in Th. Comput. Sci.","volume-title":"Proc. Mathematical Foundations of Programming Semantics, Aarhus","author":"F. Gadducci","year":"2001","unstructured":"Gadducci, F., Montanari, U.: A concurrent graph semantics for mobile ambients. In: Brooks, S., Mislove, M. (eds.) Proc. Mathematical Foundations of Programming Semantics, Aarhus. Elect. Notes in Th. Comput. Sci., vol.\u00a045, Elsevier Science, Amsterdam (2001)"},{"doi-asserted-by":"crossref","unstructured":"Guo, P., Heckel, R.: Conceptual modelling of styles for mobile systems: A layered approach based on graph transformation. In: Proc. IFIP TC8 Working Conference on Mobile Information Systems, Oslo, Norway (2004) (to appear)","key":"16_CR14","DOI":"10.1007\/0-387-22874-8_5"},{"issue":"3,4","key":"16_CR15","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"},{"doi-asserted-by":"crossref","unstructured":"Hirsch, D., Montanari, U.: Consistent transformations for software architecture styles of distributed systems. In: Stefanescu, G. (ed.) Workshop on Distributed Systems. ENTCS, vol.\u00a028 (1999)","key":"16_CR16","DOI":"10.1016\/S1571-0661(05)80626-7"},{"key":"16_CR17","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":"16_CR18","series-title":"Wiley Series in Parallel Computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"G. Conte","year":"1995","unstructured":"Conte, G., Donatelli, S., Ajmone-Marsan, M., Balbo, G., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, Chichester (1995)"},{"key":"16_CR19","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":"16_CR20","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)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-45221-8_8","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"\u00c1. Schmidt","year":"2003","unstructured":"Schmidt, \u00c1., Varr\u00f3, D.: CheckVML: A tool for model checking visual modeling languages. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 92\u201395. Springer, Heidelberg (2003)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/BFb0017419","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A. Sch\u00fcrr","year":"1991","unstructured":"Sch\u00fcrr, A.: PROGRES: a VHL-language based on graph grammars. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 641\u2013659. Springer, Heidelberg (1991)"},{"key":"16_CR23","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)"},{"doi-asserted-by":"crossref","unstructured":"Taentzer, G.: Hierarchically distributed graph transformation. In: LNCSWil, pp. 304\u2013320 (1996)","key":"16_CR24","DOI":"10.1007\/3-540-61228-9_95"},{"unstructured":"Varr??, D.: Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modelling (2003);","key":"#cr-split#-16_CR25.1"},{"unstructured":"Accepted to the Special Issue on Graph Transformation and Visual Modelling Techniques","key":"#cr-split#-16_CR25.2"},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"1208","DOI":"10.1109\/49.622906","volume":"15","author":"O.T.W. Yu","year":"1997","unstructured":"Yu, O.T.W., Leung, V.C.M.: Adaptive resource allocation for prioritized call admission over an ATM-based wireless PCN. IEEE Journal on Selected Areas in Communications\u00a015, 1208\u20131224 (1997)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1109\/49.622908","volume":"15","author":"M. Zonoozi","year":"1997","unstructured":"Zonoozi, M., Dassanayake, P.: User mobility modeling and characterization of mobility patterns. IEEE Journal on Selected Areas in Communications\u00a015, 1239\u20131252 (1997)","journal-title":"IEEE Journal on Selected Areas in Communications"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30203-2_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:54:45Z","timestamp":1620014085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30203-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232070","9783540302032"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30203-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}