Multimodal Processes Rescheduling: Cyclic Steady States Space Approach

Table 1

Constraints determining the local processes behavior of the SCCP from Figure 2.

Constraints of the local processes
𝑥^11,1=𝑥^11,4+𝑡^11,4−𝛼	𝑥^24,1=max𝑥^14,8+Δ𝑡−𝛼,𝑥^24,8+𝑡^24,8−𝛼	—
𝑥^11,2=𝑥^11,1+𝑡^11,1	𝑥^24,2=max𝑥^14,1+Δ𝑡,𝑥^24,1+𝑡^24,1	𝑥^25,1=max𝑥^15,7+Δ𝑡−𝛼,𝑥^25,8+𝑡^25,8−𝛼
𝑥^11,3=𝑥^11,2+𝑡^11,2	𝑥^24,3=max𝑥^14,2+Δ𝑡,𝑥^24,2+𝑡^24,2	𝑥^25,2=max𝑥^15,8+Δ𝑡−𝛼,𝑥^25,1+𝑡^25,1
𝑥^11,4=max𝑥^12,7+Δ𝑡,𝑥^11,3+𝑡^11,3	𝑥^24,4=max𝑥^14,3+Δ𝑡,𝑥^24,3+𝑡^24,3	𝑥^25,3=max𝑥^15,1+Δ𝑡,𝑥^25,2+𝑡^25,2
—	𝑥^24,5=max𝑥^14,4+Δ𝑡,𝑥^24,4+𝑡^24,4	𝑥^25,4=max𝑥^15,2+Δ𝑡,𝑥^25,3+𝑡^25,3
𝑥^12,1=max𝑥^32,6+Δ𝑡−𝛼,𝑥^12,8+𝑡^12,8−𝛼	𝑥^24,6=max𝑥^32,7+Δ𝑡,𝑥^24,5+𝑡^24,5	𝑥^25,5=max𝑥^15,3+Δ𝑡,𝑥^25,4+𝑡^25,4
𝑥^12,2=max𝑥^24,7+Δ𝑡−𝛼,𝑥^12,1+𝑡^12,1	𝑥^24,7=max𝑥^14,6+Δ𝑡,𝑥^24,6+𝑡^24,6	𝑥^25,6=max𝑥^15,4+Δ𝑡,𝑥^25,5+𝑡^25,5
𝑥^12,3=max𝑥^32,8+Δ𝑡−𝛼,𝑥^12,2+𝑡^12,2	𝑥^24,8=max𝑥^14,7+Δ𝑡,𝑥^24,7+𝑡^24,7	𝑥^25,7=max𝑥^15,5+Δ𝑡,𝑥^25,6+𝑡^25,6
𝑥^12,4=max𝑥^32,1+Δ𝑡,𝑥^12,3+𝑡^12,3	—	𝑥^25,8=max𝑥^15,6+Δ𝑡,𝑥^25,7+𝑡^25,7
𝑥^12,5=max𝑥^32,2+Δ𝑡,𝑥^12,4+𝑡^12,4	𝑥^15,1=max𝑥^25,5+Δ𝑡−𝛼,𝑥^15,8+𝑡^15,8−𝛼	—
𝑥^12,6=max𝑥^32,3+Δ𝑡,𝑥^12,5+𝑡^12,5	𝑥^15,2=max𝑥^25,6+Δ𝑡−𝛼,𝑥^15,1+𝑡^15,1	𝑥^16,1=max𝑥^26,3+Δ𝑡−𝛼,𝑥^16,5+𝑡^16,5−𝛼
𝑥^12,7=max𝑥^32,4+Δ𝑡,𝑥^12,6+𝑡^12,6	𝑥^15,3=max𝑥^32,5+Δ𝑡,𝑥^15,2+𝑡^15,2	𝑥^16,2=max𝑥^25,1+Δ𝑡,𝑥^16,1+𝑡^16,1
𝑥^12,8=max𝑥^25,7+Δ𝑡,𝑥^12,7+𝑡^12,7	𝑥^15,4=max𝑥^25,8+Δ𝑡−𝛼,𝑥^15,3+𝑡^15,3	𝑥^16,3=max𝑥^26,5+Δ𝑡−𝛼,𝑥^16,2+𝑡^16,2
—	𝑥^15,5=max𝑥^26,4+Δ𝑡,𝑥^15,4+𝑡^15,4	𝑥^16,4=max𝑥^24,5+Δ𝑡,𝑥^16,3+𝑡^16,3
𝑥^22,1=max𝑥^12,8+Δ𝑡−𝛼,𝑥^22,8+𝑡^22,8−𝛼	𝑥^15,6=max𝑥^18,3+Δ𝑡,𝑥^15,5+𝑡^15,5	𝑥^16,5=max𝑥^26,2+Δ𝑡,𝑥^16,4+𝑡^16,4
𝑥^22,2=max𝑥^12,1+Δ𝑡,𝑥^22,1+𝑡^22,1	𝑥^15,7=max𝑥^18,2+Δ𝑡,𝑥^15,6+𝑡^15,6	—
𝑥^22,3=max𝑥^12,2+Δ𝑡,𝑥^22,2+𝑡^22,2	𝑥^15,8=max𝑥^25,4+Δ𝑡,𝑥^15,7+𝑡^15,7	𝑥^26,1=max𝑥^26,3+Δ𝑡,𝑥^26,5+𝑡^26,5−𝛼
𝑥^22,4=max𝑥^14,5+Δ𝑡,𝑥^22,3+𝑡^22,3	—	𝑥^26,2=max𝑥^16,2+Δ𝑡,𝑥^26,1+𝑡^26,1
𝑥^22,5=max𝑥^12,4+Δ𝑡,𝑥^22,4+𝑡^22,4	𝑥^13,1=𝑥^13,4+𝑡^13,4−𝛼	𝑥^26,3=max𝑥^18,4+Δ𝑡,𝑥^26,2+𝑡^26,2
𝑥^22,6=max𝑥^12,5+Δ𝑡,𝑥^22,5+𝑡^22,5	𝑥^13,2=𝑥^13,1+𝑡^13,1	𝑥^26,4=max𝑥^16,4+Δ𝑡,𝑥^26,3+𝑡^26,3
𝑥^22,7=max𝑥^12,1+Δ𝑡,𝑥^22,6+𝑡^22,6	𝑥^13,3=max𝑥^22,7+Δ𝑡,𝑥^13,2+𝑡^13,2	𝑥^26,5=max𝑥^17,3+Δ𝑡,𝑥^26,4+𝑡^26,4
𝑥^22,8=max𝑥^11,1+Δ𝑡−𝛼,𝑥^22,7+𝑡^22,7	𝑥^13,4=𝑥^13,3+𝑡^13,3	—
—	—	𝑥^17,1=𝑥^17,4+𝑡^17,4−𝛼
𝑥^32,1=max𝑥^22,8+Δ𝑡−𝛼,𝑥^32,8+𝑡^32,8−𝛼	𝑥^14,1=max𝑥^17,4+Δ𝑡−𝛼,𝑥^14,8+𝑡^14,8−𝛼	𝑥^17,2=max𝑥^16,5+Δ𝑡,𝑥^17,1+𝑡^17,1
𝑥^32,2=max𝑥^22,1+Δ𝑡,𝑥^32,1+𝑡^32,1	𝑥^14,2=max𝑥^26,1+Δ𝑡,𝑥^14,1+𝑡^14,1	𝑥^17,3=max𝑥^24,4+Δ𝑡,𝑥^17,2+𝑡^17,2
𝑥^32,3=max𝑥^22,2+Δ𝑡,𝑥^32,2+𝑡^32,2	𝑥^14,3=max𝑥^24,6+Δ𝑡−𝛼,𝑥^14,2+𝑡^14,2	𝑥^17,4=max𝑥^24,3+Δ𝑡,𝑥^17,3+𝑡^17,3
𝑥^32,4=max𝑥^22,3+Δ𝑡,𝑥^32,3+𝑡^32,3	𝑥^14,4=max𝑥^12,3+Δ𝑡,𝑥^14,3+𝑡^14,3	—
𝑥^32,5=max𝑥^22,4+Δ𝑡,𝑥^32,4+𝑡^32,4	𝑥^14,5=max𝑥^24,8+Δ𝑡−𝛼,𝑥^14,4+𝑡^14,4	𝑥^18,1=max𝑥^25,3+Δ𝑡,𝑥^18,4+𝑡^18,4−𝛼
𝑥^32,6=max𝑥^22,5+Δ𝑡,𝑥^32,5+𝑡^32,5	𝑥^14,6=max𝑥^24,1+Δ𝑡,𝑥^14,5+𝑡^14,5	𝑥^18,2=max𝑥^25,2+Δ𝑡,𝑥^18,1+𝑡^18,1
𝑥^32,7=max𝑥^22,6+Δ𝑡,𝑥^32,6+𝑡^32,6	𝑥^14,7=max𝑥^24,2+Δ𝑡,𝑥^14,6+𝑡^14,6	𝑥^18,3=max𝑥^16,3+Δ𝑡,𝑥^18,2+𝑡^18,2
𝑥^32,8=max𝑥^22,7+Δ𝑡,𝑥^32,7+𝑡^32,7	𝑥^14,8=max𝑥^17,1+Δ𝑡−𝛼,𝑥^14,7+𝑡^14,7	𝑥^18,4=𝑥^18,3+𝑡^18,3