Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets | Publicación