Transition branch probability is taken into account when the transition is triggered by an error event (see Safety tutorial). However, it is not taken into account if the trigger is an incoming propagation. See example from MohammadMahdi Karimi <mmkarimi@aggies.ncat.edu> at https://groups.google.com/forum/?utm_medium=email&utm_source=footer#!msg/osate/WcVEeHI4qrc/0uzFkNKvAwAJ
Transition branch probability is taken into account when the transition is triggered by an error event (see Safety tutorial).
However, it is not taken into account if the trigger is an incoming propagation.
See example from MohammadMahdi Karimi mmkarimi@aggies.ncat.edu at https://groups.google.com/forum/?utm_medium=email&utm_source=footer#!msg/osate/WcVEeHI4qrc/0uzFkNKvAwAJ