Commit 45dfad12 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

Make a .plt of rate_independence_test.bc

Note that result for rate_independence_11.bc is wrong (no output)
parent fbe14918
c+d=>e.
e=>c+f.
prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
c+d=>e.
e=>c+f+d.
prolog('writeln("Undecided since no: second loop creates synthesis ")').
a+b=>c+d.
c+d=>a+b.
c+d=>e.
e=>c+f.
prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
c+d=>e.
e=>c.
e=>f.
prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
a+b=>c+d.
c+d=>e.
e=>c.
e=>f.
prolog('writeln("The model is rate independent: partial loop leakage with or-fork")').
a+b=>c+d.
c+d=>a+b.
c+d=>e.
e=>c.
e=>f.
prolog('writeln("The model is rate independent: partial loop leakage with or-fork")').
MA(1) for A=>B.
MA(2) for B=>C.
MA(5) for B=>D.
MA(6) for D=>B.
prolog('writeln("The model is rate independent: trivial loop leakage")').
MA(k1) for a+b => b.
MA(k2) for b+c=>d.
prolog('writeln("The model is rate independent: without input a")').
a+b=>c+d.
c+d=>a+b.
c+d=>e.
e=>c+d.
e=>f+g.
prolog('writeln("The model is rate independent: composite double loop leakage with composite or-fork")').
a+b=>c+d.
c+d=>a+b.
c+d=>e.
e=>c+d+f.
prolog('writeln("Undecided since no: DIV double loop (not by single loop)")').
input=>a.
MA(k1) for a => b.
MA(k2) for b => a.
MA(k3) for b => c.
MA(k4) for c => b.
prolog('writeln("Undecided since no: output in loop equilibrium")').
d=>a.
a=>b.
b=>2*d.
a=>c.
prolog('writeln("Undecided since no: DIV")').
a=>c.
a=>b.
b=>2*d.
d=>a.
prolog('writeln("Undecided since no: DIV ")').
a=>b.
b=> a+c.
prolog('writeln("Undecided since no: DIV ")').
a=>b.
b=> a+c.
d=> a.
prolog('writeln("Undecided since no: DIV ")').
a=>c.
a=>b.
b=>2*a.
prolog('writeln("Undecided since no: DIV ")').
a=>c.
a=>b.
b=>2*d.
d=>a.
prolog('writeln("Undecided since no: DIV ")').
a => x+c.
b => y+c.
x+y => z.
c+z => r.
prolog('writeln("The model is rate independent: MAX = sum-min")').
2*a => a+b.
a+b => 2*a.
a+b => 2*b.
prolog('writeln("Undecided since no: subtle multiple steady states ")').
MA(k1) for a+b => b.
MA(k2) for b+c=>d.
prolog('writeln("The model is rate independent: output d")').
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment