Stochastic graph transformation systems

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

Volumn 3256, Issue , 2004, Pages 210-225

  Heckel, Reiko ^a   Lajios, Georgios ^a   Menge, Sebastian ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; PETRI NETS;

CONTINUOUS STOCHASTIC LOGIC; DISTRIBUTED ENVIRONMENTS; GRAPH TRANSFORMATION SYSTEM; HIGH VOLATILITY; NETWORK CONNECTION; STOCHASTIC GRAPHS; STOCHASTIC PETRI NETS;

STOCHASTIC SYSTEMS;

EID: 33646422629     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30203-2_16     Document Type: Article

References (27)

1. The attributed graph grammar system, http://tfs.cs.tu-berlin.de/agg/.
2. William G. Anderson. Continuous-Time Markov Chains. Springer, 1991.
3. L. Andrade, P. Baldan, and H. Baumeister. AGILE: Software architecture for mobility. In Recent Trends in Algebraic Development, 16th Intl. Workshop (WADT 2002), volume 2755 of LNCS, Frauenchiemsee, 2003. Springer-Verlag.
4. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Model checking continuous-time markov chains by transient analysis. In Computer Aided Verification, pages 358-372, 2000.
5. Falko Bause and Pieter S. Kritzinger. Stochastic Petri Nets. Vieweg Verlag, 2nd edition, 2002.
6. Ed Brinksma and Holger Hermanns. Process algebra and markov chains. In J.P. Katoen E. Brinksma, H. Hermanns, editor, FMPA 2000, number 2090 in LNCS, pages 183-231. Springer, 2001.
7. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and F. Rossi. Note on standard representation of graphs and graph derivations. Technical Report 92-25, FB13, 1992.
8. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Informaticae, 26(3,4):241-266, 1996.
9. A. Corradini, L. Ribeiro, and F.L. Dotti. A graph transformation view on the specification of applications using mobile code. In G. Taentzer L. Baresi, M. Pezze and C. Zaroliagis, editors, Proceedings 2nd Int. Workshop on Graph Transformation and Visual Modeling Technique (GT-VMT 01), volume 50.3 of Elect. Notes in Th. Comput. Sci. Elsevier Science, 2001.
10. P.R. D'Argenio. Algebras and Automata for Timed and Stochastic Systems. IPA Dissertation Series 1999-10, CTIT PhD-Thesis Series 99-25, University of Twente, November 1999.
11. J. Diederich, L. Wolf, and M. Zitterbart. A mobile differentiated services QoS model. In Proceedings of the 3rd Workshop on Applications and Services in Wireless Networks, 2003.
12. H. Ehrig, M. Pfender, and H.J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167180. IEEE, 1973.
13. F. Gadducci and U. Montanari. A concurrent graph semantics for mobile ambients. In St. Brooks and M. Mislove, editors, Proc. Mathematical Foundations of Programming Semantics, Aarhus, volume 45 of Elect. Notes in Th. Comput. Sci. Elsevier Science, 2001.
14. P. Guo and R. Heckel. 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.
15. A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3,4):287 - 313, 1996.
16. D. Hirsch and U. Montanari. Consistent transformations for software architecture styles of distributed systems. In G. Stefanescu, editor, Workshop on Distributed Systems, volume 28 of ENTCS, 1999.
17. M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. In T. Field, P. Harrison, J. Bradley, and U. Harder, editors, Proc. 12th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02), volume 2324 of LNCS, pages 200-204. Springer, 2002.
18. G. Conte S. Donatelli M. Ajmone-Marsan, G. Balbo and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, 1995.
19. James R. Norris. Markov Chains. Cambridge University Press, 1997.
20. A. Rensink. The GROOVE simulator: A tool for state space generation. In J.L. Pfaltz, M. Nagl, and B. Bohlen, editors, Applications of Graph Transformation with Industrial Relevance Proc. 2nd Intl. Workshop ACTIVE'03, Charlottesville, USA, 2003, volume 3062 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2004.
21. Ákos Schmidt and Daniel Varró. CheckVML: A tool for model checking visual modeling languages. In Perdita Stevens, Jon Whittle, and Grady Booch, editors, UML 2003 - The Unified Modeling Language. Model Languages and Applications. 6th International Conference, San Francisco, CA, USA, October 2003, Proceedings, volume 2863 of LNCS, pages 92-95. Springer, 2003.
22. Andy Schürr. PROGRES: a VHL-language based on graph grammars. In Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, number 532 in LNCS, pages 641-659. Springer-Verlag, 1991.
23. W. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.
24. G. Taentzer. Hierarchically distributed graph transformation. In LNCSWil, pages 304-320, 1996.
25. Daniel Varró. Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modelling, 2003. Accepted to the Special Issue on Graph Transformation and Visual Modelling Techniques.
26. Oliver T. W. Yu and Victor C. M. Leung. Adaptive resource allocation for prioritized call admission over an ATM-based wireless PCN. IEEE Journal on Selected Areas in Communications, 15:1208-1224, 1997.
27. M. Zonoozi and P. Dassanayake. User mobility modeling and characterization of mobility patterns. IEEE Journal on Selected Areas in Communications, 15:12391252, 1997.