@inproceedings(AbdullaCJT96,
 author       = {Parosh Aziz Abdulla and Karlis Cerans and Bengt Jonsson and Yih-Kuen Tsay},
 year         = {1996},
 title        = {General Decidability Theorems for Infinite-State Systems},
 booktitle    = {Proc. {LICS} 1996},
 publisher    = {IEEE Computer Society Press},
 pages        = {313--321},
 doi          = {10.1109/LICS.1996.561359},
)
@article(Baldan10,
 author       = {Paolo Baldan and Andrea Corradini and Fabio Gadducci and Ugo Montanari},
 year         = {2010},
 title        = {From Petri Nets to Graph Transformation Systems},
 journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
 volume       = {26},
 doi          = {10.14279/tuj.eceasst.26.368},
)
@inproceedings(CorradiniFR08,
 author       = {Andrea Corradini and Luciana Foss and Leila Ribeiro},
 year         = {2008},
 title        = {Graph Transformation with Dependencies for the Specification of Interactive Systems},
 booktitle    = {Proc. {WADT} 2008},
 series       = {LNCS},
 volume       = {5486},
 publisher    = {Springer},
 pages        = {102--118},
 doi          = {10.1007/978-3-642-03429-9\_8},
)
@article(Ding92,
 author       = {Guoli Ding},
 year         = {1992},
 title        = {Subgraphs and well-quasi-ordering},
 journal      = {J. Graph Theory},
 volume       = {16},
 number       = {5},
 pages        = {489--502},
 doi          = {10.1002/jgt.3190160509},
)
@book(Ehrig06,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 series       = {Monographs in Theoretical Computer Science. An {EATCS} Series},
 publisher    = {Springer},
 doi          = {10.1007/3-540-31188-2},
)
@incollection(Ehrig97,
 author       = {Hartmut Ehrig and Reiko Heckel and Martin Korff and Michael L{\"{o}}we and Leila Ribeiro and Annika Wagner and Andrea Corradini},
 year         = {1997},
 title        = {Algebraic Approaches to Graph Transformation - Part {II:} Single Pushout Approach and Comparison with Double Pushout Approach},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations},
 publisher    = {World Scientific},
 pages        = {247--312},
 doi          = {10.1142/9789812384720_0004},
)
@article(EsparzaN94,
 author       = {Javier Esparza and Mogens Nielsen},
 year         = {1994},
 title        = {Decidability Issues for Petri Nets},
 journal      = {BRICS Report Series},
 volume       = {1},
 number       = {8},
 doi          = {10.7146/brics.v1i8.21662},
)
@article(FinkelS01,
 author       = {Alain Finkel and Philippe Schnoebelen},
 year         = {2001},
 title        = {Well-structured transition systems everywhere!},
 journal      = {Theor. Comput. Sci.},
 volume       = {256},
 number       = {1-2},
 pages        = {63--92},
 doi          = {10.1016/S0304-3975(00)00102-X},
)
@article(HabelP09,
 author       = {Annegret Habel and Karl{-}Heinz Pennemann},
 year         = {2009},
 title        = {Correctness of high-level transformation systems relative to nested conditions},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {19},
 number       = {2},
 pages        = {245--296},
 doi          = {10.1017/S0960129508007202},
)
@article(Koenig17,
 author       = {Barbara K{\"{o}}nig and Jan St{\"{u}}ckrath},
 year         = {2017},
 title        = {Well-structured graph transformation systems},
 journal      = {Inf. Comput.},
 volume       = {252},
 pages        = {71--94},
 doi          = {10.1016/j.ic.2016.03.005},
)
@phdthesis(Loewe91,
 author       = {Michael L{\"{o}}we},
 year         = {1991},
 title        = {Extended algebraic graph transformation},
 school       = {Technical University of Berlin, Germany},
 url          = {http://d-nb.info/910935696},
)
@inproceedings(Oezkan20,
 author       = {Okan {\"{O}}zkan},
 year         = {2020},
 title        = {Modeling Adverse Conditions in the Framework of Graph Transformation Systems},
 booktitle    = {Proc. GCM@STAF 2020},
 series       = {{EPTCS}},
 volume       = {330},
 pages        = {35--54},
 doi          = {10.4204/EPTCS.330.3},
)
@article(Karsai16,
 author       = {Subhav Pradhan and Abhishek Dubey and Tihamer Levendovszky and Pranav Srinivas Kumar and William A. Emfinger and Daniel Balasubramanian and William Otte and Gabor Karsai},
 year         = {2016},
 title        = {Achieving resilience in distributed software systems via self-reconfiguration},
 journal      = {Journal of Systems and Software},
 volume       = {122},
 pages        = {344--363},
 doi          = {10.1016/j.jss.2016.05.038},
)
@book(Reisig85,
 author       = {Wolfgang Reisig},
 year         = {1985},
 title        = {Petri Nets: An Introduction},
 series       = {{EATCS} Monographs on Theoretical Computer Science},
 volume       = {4},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-69968-9},
)
@inproceedings(Rensink04,
 author       = {Arend Rensink},
 year         = {2004},
 title        = {Representing First-Order Logic Using Graphs},
 booktitle    = {Proc. {ICGT} 2004},
 series       = {LNCS},
 volume       = {3256},
 publisher    = {Springer},
 pages        = {319--335},
 doi          = {10.1007/978-3-540-30203-2\_23},
)
@inproceedings(Rieger13,
 author       = {Craig G. Rieger and Kevin L. Moore and Thomas L. Baldwin},
 year         = {2013},
 title        = {Resilient control systems: {A} multi-agent dynamic systems perspective},
 booktitle    = {Proc. {EIT} 2013},
 publisher    = {{IEEE}},
 pages        = {1--16},
 doi          = {10.1109/EIT.2013.6632721},
)
@article(Robertson04,
 author       = {Neil Robertson and Paul D. Seymour},
 year         = {2004},
 title        = {Graph Minors. {XX.} Wagner's conjecture},
 journal      = {J. Comb. Theory, Ser. {B}},
 volume       = {92},
 number       = {2},
 pages        = {325--357},
 doi          = {10.1016/j.jctb.2004.08.001},
)
@phdthesis(Stueckrath16,
 author       = {Jan St{\"{u}}ckrath},
 year         = {2016},
 title        = {Verification of Well-Structured Graph Transformation Systems},
 school       = {University of Duisburg-Essen},
 url          = {https://nbn-resolving.org/urn:nbn:de:hbz:464-20160425-093027-1},
)
@incollection(Thomas90,
 author       = {Wolfgang Thomas},
 year         = {1990},
 title        = {Automata on Infinite Objects},
 booktitle    = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models and Semantics},
 publisher    = {Elsevier and {MIT} Press},
 pages        = {133--191},
 doi          = {10.1016/b978-0-444-88074-1.50009-3},
)
@inproceedings(Trivedi09,
 author       = {Kishor S. Trivedi and Dong Seong Kim and Rahul Ghosh},
 year         = {2009},
 title        = {Resilience in computer systems and networks},
 booktitle    = {Proc. {ICCAD} 2009},
 publisher    = {{ACM}},
 pages        = {74--77},
 doi          = {10.1145/1687399.1687415},
)
@article(ValkJ85,
 author       = {R{\"{u}}diger Valk and Matthias Jantzen},
 year         = {1985},
 title        = {The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets},
 journal      = {Act. Inf.},
 volume       = {21},
 pages        = {643--674},
 doi          = {10.1007/BF00289715},
)
@inproceedings(Zhang09,
 author       = {Xiaoling Zhang and Qiang Lu and Teresa Wu},
 year         = {2009},
 title        = {Petri-net based application for supply chain management: An overview},
 booktitle    = {Proc. IEEM 2009},
 pages        = {1406--1410},
 doi          = {10.1109/IEEM.2009.5373050},
)