@inproceedings(Arcaini2015,
 author       = {P. Arcaini and E. Riccobene and P. Scandurra},
 year         = {2015},
 title        = {{Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation}},
 editor       = {Paola Inverardi and Bradley R. Schmerl},
 booktitle    = {Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015},
 publisher    = {{IEEE}},
 pages        = {13--23},
 doi          = {10.1109/SEAMS.2015.10},
)
@article(Baez2020,
 author       = {C. J. Baez and J. Master},
 year         = {2020},
 title        = {{Open Petri nets}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {30},
 number       = {3},
 pages        = {314--341},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/S0960129520000043},
)
@article(Bennell2011,
 author       = {J. A. Bennell and M. Mesgarpour and C. N. Potts},
 year         = {2011},
 title        = {{Airport runway scheduling}},
 journal      = {4OR},
 volume       = {9},
 number       = {2},
 pages        = {115--138},
 publisher    = {Springer},
 doi          = {10.1007/s10288-011-0172-x},
)
@article(Bennell2013,
 author       = {J. A. Bennell and M. Mesgarpour and C. N. Potts},
 year         = {2013},
 title        = {{Airport runway scheduling}},
 journal      = {Annals of Operations Research},
 volume       = {204},
 number       = {1},
 pages        = {249--270},
 publisher    = {Springer},
 doi          = {10.1007/s10479-012-1268-1},
)
@inproceedings(Camilli2018,
 author       = {M. Camilli and C. Bellettini and L. Capra},
 year         = {2018},
 title        = {{A high-level petri net-based formal model of Distributed Self-adaptive Systems}},
 booktitle    = {ACM International Conference Proceeding Series},
 publisher    = {{ACM}},
 pages        = {40:1--40:7},
 doi          = {10.1145/3241403.3241445},
)
@article(Petri1962,
 author       = {A. Carl},
 year         = {1962},
 title        = {Petri. kommunikation mit automaten},
 journal      = {PhD, University of Bonn, West Germany, Technical Report RADC-TR-65--377},
)
@inproceedings(Chiachio2017,
 author       = {M. Chiachio and J. Chiachio and D. Prescott and J. Andrews},
 year         = {2017},
 title        = {{An information theoretic approach for knowledge representation using Petri nets}},
 booktitle    = {FTC 2016 - Proceedings of Future Technologies Conference},
 publisher    = {IEEE},
 pages        = {165--172},
 doi          = {10.1109/FTC.2016.7821606},
)
@article(Chiachio2018,
 author       = {M. Chiachio and J. Chiachio and D. Prescott and J. Andrews},
 year         = {2018},
 title        = {{A new paradigm for uncertain knowledge representation by Plausible Petri nets}},
 journal      = {Information Sciences},
 volume       = {453},
 pages        = {323--345},
 publisher    = {Elsevier},
 doi          = {10.1016/j.ins.2018.04.029},
)
@article(Chiachio2019,
 author       = {M. Chiachio and J. Chiachio and D. Prescott and J. Andrews},
 year         = {2019},
 title        = {{Plausible Petri nets as self-adaptive expert systems: A tool for infrastructure asset monitoring}},
 journal      = {Computer-Aided Civil and Infrastructure Engineering},
 volume       = {34},
 number       = {4},
 pages        = {281--298},
 publisher    = {Wiley Online Library},
 doi          = {10.1111/mice.12427},
)
@article(IBM2006,
 author       = {A. Computing},
 year         = {2006},
 title        = {{An architectural blueprint for autonomic computing}},
 journal      = {IBM White Paper},
 volume       = {31},
 number       = {2006},
 pages        = {1--6},
 publisher    = {IBM Corporation Hawthorne, NY},
 doi          = {10.1021/am900608j},
)
@inproceedings(Cook2015,
 author       = {A. Cook and G. Tanner and S. Crist{\'{o}}bal and M. Zanin},
 year         = {2015},
 title        = {{Delay propagation-new metrics, New Insights}},
 booktitle    = {Proceedings of the 11th USA/Europe Air Traffic Management Research and Development Seminar, ATM 2015},
 publisher    = {{EUROCONTROL/FAA }},
 pages        = {1--10},
 doi          = {10.2777/50266},
)
@article(DannyWeyns2017,
 author       = {{D. Weyns}},
 year         = {2017},
 title        = {{Software Engineering of Self-Adaptive Systems: An Organised Tour and Future Challenges}},
 journal      = {Handbook of Software Engineering},
 pages        = {399--443},
 publisher    = {Springer},
 doi          = {10.1007/978-3-030-00262-6\_11},
)
@article(1978,
 author       = {R. G. Dear},
 year         = {1978},
 title        = {{The dynamic scheduling of aircraft in the near terminal area}},
 journal      = {Transportation Research},
 pages        = {216--217},
 publisher    = {Elsevier},
 doi          = {10.1016/0041-1647(78)90133-8},
)
@inproceedings(Ding2016,
 author       = {Z. Ding and Y. Zhou and M. Zhou},
 year         = {2016},
 title        = {{Modeling Self-Adaptive Software Systems with Learning Petri Nets}},
 booktitle    = {IEEE Transactions on Systems, Man, and Cybernetics: Systems},
 volume       = {46},
 publisher    = {IEEE},
 pages        = {483--498},
 doi          = {10.1109/TSMC.2015.2433892},
)
@article(InternationalStandardISO/IEC159092000,
 author       = {{International Standard ISO/IEC 15909}},
 year         = {2002},
 title        = {{High-level Petri Nets - Concepts, Definitions and Graphical Notation}},
 journal      = {Final Draft International Standard ISO/IEC},
 volume       = {15909},
 number       = {4},
 pages        = {1--43},
 publisher    = {ISO/IEC},
 doi          = {10.1007/BF02679450},
)
@inproceedings(Laddaga2004,
 author       = {R. Laddaga and P. Robertson},
 year         = {2004},
 title        = {{Self Adaptive Software: A Position Paper}},
 booktitle    = {Proc. of the 2004 International Workshop on Self-* Properties in Complex Information Systems},
 volume       = {31},
 publisher    = {Citeseer},
 pages        = {149--158},
 doi          = {10.1007/3-540-36554-0},
)
@article(Lee2003,
 author       = {J. Lee and K. F. R. Liu and W. Chiang},
 year         = {2003},
 title        = {{Modeling uncertainty reasoning with possibilistic Petri nets}},
 journal      = {IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics},
 volume       = {33},
 number       = {2},
 pages        = {214--224},
 publisher    = {{IEEE}},
 doi          = {10.1109/TSMCB.2003.810446},
)
@inproceedings(DeLemos2013,
 author       = {R. De Lemos and D. Garlan and C. Ghezzi and H. Giese and J. Andersson and M. Litoiu and B. Schmerl and D. Weyns and L. Baresi and N. Bencomo},
 year         = {2013},
 title        = {{Software engineering for self-adaptive systems: A second research roadmap}},
 booktitle    = {Software Engineering for Self-Adaptive Systems {II} - International Seminar, Dagstuhl Castle, Germany},
 publisher    = {Springer},
 pages        = {1--32},
 doi          = {10.1007/978-3-642-35813-5_1},
)
@inproceedings(DeLemos2017,
 author       = {R. De Lemos and D. Garlan and C. Ghezzi and H. Giese and J. Andersson and M. Litoiu and B. Schmerl and D. Weyns and L. Baresi and N. Bencomo},
 year         = {2017},
 title        = {{Software engineering for self-adaptive systems: research challenges in the provision of assurances}},
 booktitle    = {Software Engineering for Self-Adaptive Systems {III.} Assurances - International Seminar, Dagstuhl Castle, Germany},
 publisher    = {Springer},
 pages        = {3--30},
 doi          = {10.1007/978-3-319-74183-3_1},
)
@article(Looney1988,
 author       = {C. G. Looney},
 year         = {1988},
 title        = {{Fuzzy Petri Nets for Rule-Based Decisionmaking}},
 journal      = {IEEE Transactions on Systems, Man and Cybernetics},
 volume       = {18},
 number       = {1},
 pages        = {178--183},
 publisher    = {IEEE},
 doi          = {10.1109/21.87067},
)
@incollection(Mahdavi-Hezavehi2017,
 author       = {Mahdavi-Hezavehi, S. and P. Avgeriou and D. Weyns},
 year         = {2017},
 title        = {{A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements}},
 booktitle    = {Managing Trade-Offs in Adaptable Software Architectures},
 publisher    = {Elsevier},
 pages        = {45--78},
 doi          = {10.1016/b978-0-12-802855-1.00003-4},
)
@article(Rus2016,
 author       = {G. Rus and J. Chiachio and M. Chiachio},
 year         = {2016},
 title        = {{Logical inference for inverse problems}},
 journal      = {Inverse Problems in Science and Engineering},
 volume       = {24},
 number       = {3},
 pages        = {448--464},
 publisher    = {Taylor \& Francis},
 doi          = {10.1080/17415977.2015.1047361},
)
@inproceedings(Shevtsov2017,
 author       = {S. Shevtsov and D Weyns and M Maggio},
 year         = {2017},
 title        = {{Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems Using SimCA}},
 booktitle    = {Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017},
 publisher    = {IEEE},
 pages        = {12--23},
 doi          = {10.1109/SEAMS.2017.3},
)
@article(Shevtsov2019,
 author       = {S. Shevtsov and D. Weyns and M. Maggio},
 year         = {2019},
 title        = {{SimCA: A control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees}},
 journal      = {ACM Transactions on Autonomous and Adaptive Systems},
 volume       = {13},
 number       = {4},
 pages        = {17:1--17:34},
 publisher    = {ACM New York, NY, USA},
 doi          = {10.1145/3328730},
)
@article(Skorupski2016,
 author       = {J. Skorupski and A. Florowski},
 year         = {2016},
 title        = {{Method for evaluating the landing aircraft sequence under disturbed conditions with the use of Petri nets}},
 journal      = {Aeronautical Journal},
 volume       = {120},
 number       = {1227},
 pages        = {819--844},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/aer.2016.32},
)
@article(Taleb-Berrouane2020,
 author       = {Taleb-Berrouane, M. and F. Khan and P. Amyotte},
 year         = {2020},
 title        = {{Bayesian Stochastic Petri Nets (BSPN) - A new modelling tool for dynamic safety and reliability analysis}},
 journal      = {Reliability Engineering and System Safety},
 volume       = {193},
 pages        = {106587},
 publisher    = {Elsevier},
 doi          = {10.1016/j.ress.2019.106587},
)
@incollection(Wang2007,
 author       = {J. Wang},
 year         = {2007},
 title        = {{Petri Nets for Dynamic Event-Driven System Modeling}},
 booktitle    = {Handbook of Dynamic System Modeling},
 volume       = {1},
 publisher    = {Citeseer / Chapman and Hall/CRC},
 pages        = {24:1--24:17},
 doi          = {10.1201/9781420010855.ch24},
)
@inproceedings(Weyns2017,
 author       = {D. Weyns and N. Bencomo and R. Calinescu and J. Camara and C. Ghezzi and V. Grassi and L. Grunske and P. Inverardi and J. M. Jezequel and S. Malek and R. Mirandolaand M. Mori and G. Tamburrelli},
 year         = {2017},
 title        = {{Perpetual assurances for self-adaptive systems}},
 booktitle    = {Software Engineering for Self-Adaptive Systems {III.} Assurances - International Seminar, Dagstuhl Castle, Germany},
 publisher    = {Springer},
 pages        = {31--63},
 doi          = {10.1007/978-3-319-74183-3_2},
)
@article(Ding2018,
 author       = {Z. Ding, Y. Zhou and M. Zhou},
 year         = {2018},
 title        = {{Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets}},
 journal      = {IEEE Transactions on Fuzzy Systems},
 volume       = {26},
 number       = {2},
 pages        = {967--984},
 publisher    = {{IEEE}},
 doi          = {10.1109/TFUZZ.2017.2700286},
)