Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets | Publicación