Fig. 1

Subnet of ESSN model presented in Fig. 3, representing the Teff activation in CNS, the production of the INFg and the damage the ODCs. Mye is circolar color class, representing the myelination levels of ODC cells. This is divided into 5 static subclasses: \(L_{min},\ L1,\ L2,\ L3\) and \(L_{max}\). l is a variable belonging to the color class Mye. Moreover the successor operator applied on l (i.e. \(l++\)) is exploited to increase the damage level of an ODC cell. Finally the guard \([ l \notin L_{max}]\) associated with transition TeffKills ODC ensures that only ODC cells with damage level different by \(L_{max}\) can be attacked by a Teff cell