Static Integration Based on Stochastic P-Time Petri Nets of Maintenance Scheduling for Railway Transport Equipment

Algorithm 1

: Procedure of static insertion.

(i)
(ii)
(iii)	If
(iv)	{
(v)
(vi)	(the duration of operation insertion corresponding to the period of EMU availability)
(vii)	Time constraints are verified
(viii)	then
(ix)	(maintenance lead time for a EMU )
(x)	End
(xi)	Insert a maintenance operation on the EMU
(xii)	End
	Redo the same procedure for all Metros.