Joint optimization and reachability analysis in graph transformation systems with time

Electronic Notes in Theoretical Computer Science

Volumn 109, Issue 1-4 SPEC. ISS., 2004, Pages 137-147

  Gyapay, Szilvia ^a   Schmidt, Ákos ^a   Varró, Dániel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Graph transformation; Model checking; Optimization

Indexed keywords

EMBEDDED SYSTEMS; HEURISTIC METHODS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION; PETRI NETS;

BRANCH-AND-BOUND TECHNIQUES; GRAPH TRANSFORMATION; MODEL CHECKING; REACHABILITY ANALYSIS;

GRAPHIC METHODS;

EID: 10444290082     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.062     Document Type: Conference Paper

References (11)

1. Baldan, P. and B. König, Approximating the behaviour of graph transformation systems, in: A. Corradini, H. Ehrig, H.-J. Kreowski and G. Rozenberg, editors, Proc. ICGT 2002: First International Conference on Graph Transformation, LNCS 2505 (2002), pp. 14-29.
2. Corradini, A., U. Montanari, F. Rossi, H. Ehrig, R. Heckel and M. Löwe, "Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach," World Scientific, 1997 pp. 163-245, in [7].
3. Gyapay, S., R. Heckel and D. Varró, Graph transformation with time: Causality and logical clocks, in: A. Corradini, H. Ehrig, H.-J. Kreowski and G. Rozenberg, editors, Proc. ICGT 2002: 1st International Conference on Graph Transformation, LNCS 2505 (2002), pp. 120-134.
4. Gyapay, S. and A. Pataricza, Optimization methods for reachability analysis of Petri net models, in: G. Tarnai and E. Schnieder, editors, Formal Methods for Railway Operation and Control Systems (Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16) (2003), pp. 53-60.
5. Holzmann, G., The model checker SPIN, IEEE Transactions on Software Engineering 23 (1997), pp. 279-295.
6. Rensink, A., Model checking graph grammars, in: M. Leuschel, S. Gruner and S. Lo Presti, editors, Proc. of the 3rd Workshop on Automated Verification of Critical Systems (AVOCS 2003), Technical Report DSSE-TR-03-2 (2003), pp. 150-160.
7. Rozenberg, G., editor, "Handbook of Graph Grammars and Computing by Graph Transformations: Foundations," World Scientific, 1997.
8. Ruys, T. C., Optimal scheduling using branch and bound with SPIN 4-0, in: Proc. 10th International SPIN Workshop, LNCS 2648 (2003), pp. 1-17.
9. Schmidt, A. and D. Varró, CheckVML: A tool for model checking visual modeling languages, in: P. Stevens, J. Whittle and G. Booch, editors, Proc. UML 2003: 6th International Conference on the Unified Modeling Language, LNCS 2863 (2003), pp. 92-95.
10. Varró, D., 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.
11. Winston, W. L., "Operations Research - Applications and Algorithms," Duxbury Press, Belmont, California, USA, 1994, 3rd edition.