Lorenzo Capra, Matteo Camilli. Formalizing distributed self-adaptive systems using high-level petri nets. In Umut Durak, editor, Proceedings of the 2019 Summer Simulation Conference, SummerSim 2019, Berlin, Germany, July 22-24, 2019. ACM, 2019. [doi]
Abstract is missing.