Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources | Publicación