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