验证模型。有关详细信息,请参见模型验证．

确定初始条件，即模拟开始时的量值。特别是，SimBiology首先根据模型中指定的值初始化数量值。其次，如果变量中有相应的替换值，它会更新这些值。然后它根据初始赋值和重复赋值更新值。SimBiology将初始分配和重复分配作为一组同步约束进行评估，它们的顺序不会影响最终的数量值。有关详细信息,请参见规则评估次序．

基于模型反应和速率规则构建ode。具体来说，每个ODE的左手边(LHS)表示模型量的时间导数。右手边(RHS)是用由反应速率衍生的反应通量定义的。有关详细信息,请参见从反应中得到ode．

将剂量转换为在特定模拟时间发生的状态转换。

将事件函数转换为依赖于事件触发器中指定的条件的状态转换。

基于初始赋值和重复赋值更新值。

应用在模拟时间= 0时指定的剂量导致的任何状态转换。

记录更新的数量值。

更新任何重复赋值的值。

检查每个事件的触发条件。如果在这个时间步从false切换到true，那么它将根据事件函数应用状态转换，并更新任何重复赋值的值。

记录更新的数量值。