Resilience is a concept of rising interest in computer science and software engineering. For systems in which correctness w.r.t. a safety condition is unachievable, fast recovery is demanded. We investigate resilience problems of graph transformation systems. Our main contribution is the decidability of two resilience problems for well-structured graph transformation systems (with strong compatibility). We prove our results in the abstract framework of well-structured transition systems and apply them to graph transformation systems, incorporating also the concept of adverse conditions.

中文翻译：

---

结构良好的图转换系统的弹性

弹性是人们对计算机科学和软件工程越来越感兴趣的概念。对于无法实现安全条件正确性的系统，需要快速恢复。我们研究了图转换系统的弹性问题。我们的主要贡献是结构良好的图转换系统（具有强兼容性）的两个弹性问题的可判定性。我们在结构良好的转换系统的抽象框架中证明了我们的结果，并将它们应用于图转换系统，同时结合了不利条件的概念。