A Static Analysis Technique for Graph Transformation Systems

@inproceedings{Baldan2001ASA,
  title={A Static Analysis Technique for Graph Transformation Systems},
  author={Paolo Baldan and Andrea Corradini and Barbara K{\"o}nig},
  booktitle={CONCUR},
  year={2001}
}
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produces a finite structure consisting of a hypergraph decorated with transitions (Petri graph) which can be seen as an approximation of the Winskel style unfolding of the graph transformation system. The fact that any reachable graph has an homomorphic image in the Petri graph and the additional causal information… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 63 CITATIONS, ESTIMATED 43% COVERAGE

146 Citations

01020'02'05'09'13'17
Citations per Year
Semantic Scholar estimates that this publication has 146 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

editors

  • H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg
  • Handbook of Graph Grammars and Computing by Graph…
  • 1999
1 Excerpt

editors

  • H. Ehrig, H.-J. Kreowski, U. Montanari, G. Rozenberg
  • Handbook of Graph Grammars and Computing by Graph…
  • 1999

editor

  • G. Rozenberg
  • Handbook of Graph Grammars and Computing by Graph…
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…