Modello macchina multiservente
Il modello di una macchina multiservente si basa su una macchina principale e una o più macchine serventi che lavorano contemporaneamente.
Ecco un esempio di due macchine serventi:
La prima transizione (a) accende la prima macchina servente x1.
La seconda transizione (a) accende la seconda macchina servente x2.
Di inverso, le transizioni (b) fermano la prima o la seconda macchinaservente a seconda del caso.
Considerando anche la possibilità dei guasti alle macchine, aggiungo altri stati x3,x4 e altre due transizioni di rottura (c) e riparazione (d).
Volendo considerare anche un problema di guasto ai sistemi di controllo e riparazione, basta aggiungere uno stato aggiuntivo x5.
E così via.
