A high-level petri net-based formal model of distributed self-adaptive systems.

Matteo Camilli, Carlo Bellettini, Lorenzo Capra

Browse the full ECSA paper archive.