In: Graph Transformation (ICGT 2002), Proceedings of the First International Conference, Barcelona, Spain, October 7-12, 2002, pages 334-350. Volume 2505 of Lecture Notes in Computer Science / A. Corradini, H. Ehrig, H.-J. Kreowski, G. Rozenberg (Eds.) --- Springer Verlag, October 2002.
Abstract: Automating software engineering activities for developing safety-critical systems reliably and correctly brings along the challenge to combine expressive specification methods with powerful analysis techniques. The focus of this paper lies in the analysis of graph transformation systems by analysis techniques transferred from Petri nets. Since Petri nets are famous for their powerful analysis techniques we have started to transfer several notions from Petri nets to graph transformation systems. Especially, invariants provide vast possibilities for analysing a model. Hence, we have transferred transition invariants to rule invariants in graph transformation systems. This allows a suitable analysis of graph transformation systems as is exemplified by a safety-critical system specification in the area of human-computer interaction.