• Home
• org.into-cps.orchestration
• coe
• 1.0.0
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

orchestration.coe.1.0.0.source-code.part-of-table-p96.txt Maven / Gradle / Ivy

t (time) : Real * causality = 
v : SV -- any sv
P : {p | p : v * p.causality = }
P_calculated : {p | p : v * p.causality = }
P_tune : {p | p : v * p.causality =  and p.variability = }

u : SV * u.causality =  and (u.variability= or u.variability=)
y : SV * y.causality = 
 and (u.variability= or u.variability=)
w : SV * w.causality = 
Xc: map t to set of SV * SV.initial=