*4.2.2. SPNOZ syntax*

Formally, an SPNOZ class C is defined by giving a triple (*VC*, *BC*,*OC*). The set *VC* includes the variables of the class, as named in the state schema. *BC* is the behaviour SPN and *OC* is the set of operations of the class, the names of the operation schemas of the class. For the IMC-Part class, variables and operations are:

*VIMC*−*Part* = {*S*, *tDMMT*1, *tDMMT*2, *tRepMMT*1, *tRepMMT*2, *tRepCMT*, *tSD*, *<sup>C</sup>*1, *<sup>C</sup>*2, *Cmin*1, *Cmin*2}

$$O\_{IMC-Part} = \{Selection \text{Team1}, Select \text{Team2}\}$$

Operation Select Team1 and Select Team2 can select a mobile team to involve on a production site. This selection will be made according to predefines criteria (availability of MMT, the average time Displacement of MMT and his spare parts stock level). If a team meets the different criteria, it will be chosen and its associated SPN model will be instantiated with different values for the new crossing rates (*λi*, *λ*� *i* , *λ*�� *<sup>i</sup>* ). Otherwise MMT will not be selected and its associated model will be blocked (Pre(MTAi �→ *Ti*)=∞) and second team will be solicited. Finally, Select Team1 and Select Team2 expressions translate the fact that if the level of the inventories of MMTi teams with reached critical level, it will not have the possibility of intervening on any site of production (probably it will turn over to IMC).
