e
http://bioputer.mimuw.edu.pl/tav4sb/models/enzyme.csl
Optional rewards to be appended to the model specification. See http://www.prismmodelchecker.org/manual/ThePRISMLanguage/CostsAndRewards for description of PRISM rewards specification.
http://bioputer.mimuw.edu.pl/tav4sb/models/enzyme.rew
org.embl.ebi.escience.scuflworkers.java.StringConcat
net.sourceforge.taverna.scuflworkers.io.TextFileReader
k = nameList.size();
l = valueList.size();
n = Math.max(k, l);
sb = new StringBuffer();
for (int i = 0; i < n; i++) {
sb.append(nameList.get(i % k)+"="+valueList.get(i % l)+",");
}
sb.deleteCharAt(sb.length()-1);
constantsStr = sb.toString();
nameList
valueList
constantsStr
net.sourceforge.taverna.scuflworkers.io.TextFileReader
12;1:3:19
net.sourceforge.taverna.scuflworkers.io.TextFileReader
http://bioputer.mimuw.edu.pl/tav4sb/models/enzyme_stoch.xml
http://bioputer.mimuw.edu.pl/tav4sb/workflows/ws_prism.xml
http://bioputer.mimuw.edu.pl/tav4sb/workflows/ws_sbml2Prism.xml
source(new URL("http://bioputer.mimuw.edu.pl/tav4sb/workflows/parametrizePrismModel.bsh"));
inModel
constList
initList
initSufix
outModel
paramList
p_MAX
org.embl.ebi.escience.scuflworkers.java.SplitByRegex
;