Complex Event Processing Modeling by Prioritized Colored Petri Nets | Publicación