Optimization in graph transformation systems using petri net based techniques

Electronic Communications of the EASST

Volumn 2, Issue , 2006, Pages

  Varró Gyapay, Szilvia ^a   Varró, Dániel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Graph transformation; Optimization; Petri nets; Verification

Indexed keywords

EID: 77249115991     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.2.61.33     Document Type: Conference Paper

References (21)

1. L. Baresi, R. Heckel, S. Thöne, D. Varró. Style-Based Modeling and Refinement of Service-Oriented Architectures. Journal of Software and Systems Modelling 5(2):187-207, 2006
2. P. Baldan, B. König. Approximating the Behaviour of Graph Transformation Systems. In Corradini et al. (eds.), Proc. ICGT 2002: First International Conference on Graph Transformation. LNCS 2505, pp. 14-29. Springer, Barcelona, Spain, October 7-12 2002
3. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe. In [Roz97]. Chapter Algebraic Approaches to Graph Transformation-Part I: Basic Concepts and Double Pushout Approach, pp. 163-245. World Scientific, 1997
4. J. Desel. Petrinetze, Lineare Algebra und lineare Programmierung. Teubner-Texte zur Informatik 26. B. G. Teubner Stuttgart-Leipzig, 1998
5. S. Edelkamp, S. Jabbar, A. Lluch-Lafuente. Heuristic Search for the Analysis of Graph Transition Systems. In Proc. Third International Conference on Graph Transformation. LNCS 4178, pp. 414-429. Springer, Natal, Brazil, 2006
6. J. Esparza, C. Schröter. Unfolding Based Algorithms for the Reachability Problem. Fundamenta Informaticae 46:1-17, 2001
7. S. Gyapay, A. Pataricza. Optimization methods for reachability analysis of Petri net models. In Tarnai and Schnieder (eds.), Formal Methods for Railway Operation and Control Systems (Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16). Pp. 53-60. L' Harmattan, Budapest, May 17-23 2003
8. S. Gyapay, A. Pataricza. Optimal Trajectory Generation for Petri nets. Acta Cybernetica 17(2), 2006
9. S. Gyapay, Á. Schmidt, D. Varró. Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. In Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques. ENTCS 109, pp. 137-147. Elsevier, 2004
10. V. Khomenko, M. Koutny. Verification of Bounded Petri Nets Using Integer Programming. Technical report, Department of Computing Science, University of Newcastle upon Tyne, 2000. Technical Report CS-TR-711
11. B. König, V. Kozioura. Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. In TACAS. Pp. 197-211. 2006
12. S. Melzer, S. Römer. Deadlock Checking Using Net Unfoldings. In CAV '97: Proceedings of the 9th International Conference on Computer Aided Verification. Pp. 352-363. Springer-Verlag, 1997
13. T. Murata. Petri Nets: Properties, Analysis and Applications. In Proc. IEEE. Volume 77(4), pp. 541-580. 1989
14. A. Rensink. The GROOVE Simulator: A Tool for State Space Generation. In Nagl et al. (eds.), Applications of Graph Transformations with Industrial Relevance (AGTIVE). LNCS 3063. Springer-Verlag, 2004
15. G. Rozenberg (ed.). Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, 1997
16. T. C. Ruys. Optimal Scheduling Using Branch and Bound with SPIN 4.0. In Proc. 10th International SPIN Workshop. LNCS 2648, pp. 1-17. Springer, Portland, Oregon, USA, May 9-10 2003
17. O. M. dos Santos, F. L. Dotti, L. Ribeiro. Verifying Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 109:125-136, 2004
18. M. Silva, E. Teurel, J. M. Colom. Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. InW. Reisig (ed.), Lectures on Petri Nets I:Basic Models. LNCS 1791, pp. 309-373. Springer, 1998
19. Á. Schmidt, D. Varró. CheckVML: A Tool for Model Checking Visual Modeling Languages. In Stevens et al. (eds.), Proc. UML 2003: 6th International Conference on the Unified Modeling Language. LNCS 2863, pp. 92-95. Springer, San Francisco, CA, USA, October 20-24 2003
20. P. P. P. Velasco, J. de Lara. Petri Nets and Matrix Approach to Graph Transformation: Reachability. 2006. To appear
21. D. Varró, S. Varró-Gyapay, H. Ehrig, U. Prange, G. Taentzer. Termination Analysis of Model Transformations by Petri Nets. In Proc. Third International Conference on Graph Transformation (ICGT 2006). LNCS 4178, pp. 260-274. Springer, Natal, Brazil, 2006