The Label Splitting Problem. - Carmona, Josep (Trans. Petri Nets Other Model. Concurr., 2012)