(1) unfolding this model requires to use dssz_util; the unfolding algorithms need to be harmonised;
(2) re-reading an ANDL file just generated yields errors:
17:15:53: Error: SP_DS_ExpressionAttribute.cpp(76): function: (9V_dot)
The following identifiers are not valid: V_dot
17:15:53: Error: SP_DS_DoubleMarkingDependentMultiplicity.cpp(143): "(9V_dot)" value not allowed
17:15:53: Error: SP_DS_ExpressionAttribute.cpp(76): function: (7.5V_dot)
The following identifiers are not valid: V_dot
17:15:53: Error: SP_DS_DoubleMarkingDependentMultiplicity.cpp(143): "(7.5V_dot)" value not allowed
(3) 'check net' yields:
17:16:47: Warning: SP_DS_StParser.cpp(2439): The rate function for check1 has unused modifier pre-places: V
17:16:47: Warning: SP_DS_StParser.cpp(2439): The rate function for check2 has unused modifier pre-places: V;
These are false positives. The immediate transitions check1 and check2 do not use V in rate functions, but in arc weights of self-modifying arcs. It's not possible to use V, unless it's a pre-place of check1/check2 (to reveal structural dependencies). Snoopy needs to be adjusted accordingly.
(1) unfolding this model requires to use dssz_util; the unfolding algorithms need to be harmonised;
(2) re-reading an ANDL file just generated yields errors: 17:15:53: Error: SP_DS_ExpressionAttribute.cpp(76): function: (9V_dot) The following identifiers are not valid: V_dot 17:15:53: Error: SP_DS_DoubleMarkingDependentMultiplicity.cpp(143): "(9V_dot)" value not allowed 17:15:53: Error: SP_DS_ExpressionAttribute.cpp(76): function: (7.5V_dot) The following identifiers are not valid: V_dot 17:15:53: Error: SP_DS_DoubleMarkingDependentMultiplicity.cpp(143): "(7.5V_dot)" value not allowed
(3) 'check net' yields: 17:16:47: Warning: SP_DS_StParser.cpp(2439): The rate function for check1 has unused modifier pre-places: V 17:16:47: Warning: SP_DS_StParser.cpp(2439): The rate function for check2 has unused modifier pre-places: V;
These are false positives. The immediate transitions check1 and check2 do not use V in rate functions, but in arc weights of self-modifying arcs. It's not possible to use V, unless it's a pre-place of check1/check2 (to reveal structural dependencies). Snoopy needs to be adjusted accordingly.
yeastcellcycle_v10_2.colhpn.zip