Next: Approx Trs Menu
Up: Trs Menu
Previous: Normal and external normal
One can check whether a system is forward-branching 
by using either the cubic algorithm derived from the characterization of
forward-branching system or the quadratic construction of a
One can transform a forward-branching TRS to a constructor system in
CBNs using the two algorithms presented in .