|
| | Designation | Significance |
|
| Places |
| Spare parts’ supply | P1 | Stock |
| P2 | Stock level and orders in progress |
| P3 | Supply orders in progress |
| P4 | Generation of a new review and inspection period |
| P5 | Inspection of the state of the stock level of spare parts |
| P6 | The obsolescence inspection of the stock |
| Maintenance management | P7 | Broken machine |
| P8 | Machine waiting for corrective intervention |
| P9 | Machine repair |
| P10 | Test the machine operation after repair |
| P11 | Operational machine before preventive intervention |
| P12 | Machine waiting for preventive intervention |
| P13 | Transfer to preventive intervention |
| P14 | Put the machine back into working order |
| Tech | Technicians’ availability |
|
| Transitions |
| Spare parts’ supply | t1 | Output of stock and delivery of maintenance service request |
| t2 | The order procurement operation |
| t3 | The ordering process |
| t4 | The state of the stock level sufficient |
| t5 | Deterministic timing for inspection |
| Maintenance management | t6 | Failure or unexpected breakdown |
| t7_1 and t7_2 | Deterministic transitions allow to go to the waiting state |
| t8 | Initiate the repair phase |
| t9 | The end of repair and trigger the test phase |
| t10 | Restarting in the case of good operation |
| t11 | Repeat the repair |
| t12 | Preventive maintenance order |
| t13 | Order of the intervention commencement |
| t14 | The intervention end and start-up |
|
