T. T. Hildebrandt and V. Sassone, “Transition Systems with Independence and Multi-Arcs”, BRICS, vol. 4, no. 10, Jan. 1997.