A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets | Publicación