Buku ini merupakan hasil dari Konferensi Internasional ke-12 tentang Evaluasi Kuantitatif Sistem, QEST 2015, yang diselenggarakan di Madrid, Spanyol, pada bulan September 2015. Ke-19 makalah yang dipresentasikan telah ditinjau dan dipilih secara saksama dari 42 kiriman. Makalah-makalah tersebut disusun dalam beberapa bagian topik yang diberi nama: pemodelan dan aplikasi; alat; jaring petri, alj…