% DEFAULT_PROCESS_FILE="summation.lotos"
(*
* generation and minimisation of the state graph corresponding to the
* summation algorithm with 6 processes ; the result is a trace which is
* automatically converted into the SEQ format
*)
"summation.seq" = branching reduction of generation of
hide all but REPORT in
par START #2, ANSWER #2 in
P_INIT [START, ANSWER, REPORT] (0 of Identity)
|| P_INIT [START, ANSWER, REPORT] (1 of Identity)
|| P_INIT [START, ANSWER, REPORT] (2 of Identity)
|| P_INIT [START, ANSWER, REPORT] (3 of Identity)
|| P_INIT [START, ANSWER, REPORT] (4 of Identity)
|| P_INIT [START, ANSWER, REPORT] (5 of Identity)
end par
end hide;
(*
* display of the result stored in "summation.seq": the sum of weights
* is the offer of the REPORT gate
*)
% SVL_SHOW_FILE "summation.seq"