Local contact state space generation using colored Petri nets | Publicación