Return to Article Details Transition Systems with Independence and Multi-Arcs Download Download PDF