{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T23:10:01Z","timestamp":1748387401925,"version":"3.41.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194578"},{"type":"electronic","value":"9783319194585"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19458-5_6","type":"book-chapter","created":{"date-parts":[[2015,5,11]],"date-time":"2015-05-11T11:41:14Z","timestamp":1431344474000},"page":"81-95","source":"Crossref","is-referenced-by-count":3,"title":["Colored Petri Net Modeling of the Publish\/Subscribe Paradigm in the Context of Web Services Resources"],"prefix":"10.1007","author":[{"given":"Valentin","family":"Valero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hermenegilda","family":"Maci\u00e0","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregorio","family":"D\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Emilia","family":"Cambronero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abidi, L., C\u00e9rin, C., Evangelista, S.: A Petri-Net Model for the Publish-Subscribe Paradigm and its Application for the Verification of the BonjourGrid Middleware. In: Proc. 2011 IEEE International Conference on Services Computing, pp. 496\u2013503 (2011)","DOI":"10.1109\/SCC.2011.42"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Baldoni, R., Contenti, M., Tucci, S., Virgilio, A.: Modelling Publish\/Subscribe Communication Systems: Towards a Formal Approach. In: Proc. 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 304\u2013311 (2003)","DOI":"10.1109\/WORDS.2003.1218097"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Mottola, L.: On Accurate Automatic Verification of Publish\/Subscribe Architectures. In: Proc. 29th International Conference on Software Engineering (ICSE 2007), pp. 199\u2013208 (2007)","DOI":"10.1109\/ICSE.2007.57"},{"key":"6_CR4","unstructured":"Box, D., et al.: Web Services Eventing (WS-Eventing). W3C Member Submission (March 2006), http:\/\/www.w3c.org\/submission\/ws-eventing"},{"key":"6_CR5","unstructured":"CPN Tools homepage, http:\/\/www.cs.au.dk\/CPNTools"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.M.: The Many Faces of Publish\/Subscribe. ACM Computing Surveys 35(2) (2003)","DOI":"10.1145\/857076.857078"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-44829-2_11","volume-title":"Model Checking Software","author":"D. Garlan","year":"2003","unstructured":"Garlan, D., Khersonsky, S., Kim, I.: Model Checking Publish-Subscribe Systems. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 166\u2013180. Springer, Heidelberg (2003)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Hens, P., Snoeck, M., Poels, G., Backer, M.: A Petri Net Formalization of a Publish-Subscribe System. Int. report, Faculty of Business and Economics, Katholieke Univ. Leuven, http:\/\/dx.doi.org\/10.2139\/ssrn.1886198","DOI":"10.2139\/ssrn.1886198"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. Springer (1997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Springer (2009)","DOI":"10.1007\/b95112"},{"key":"6_CR11","unstructured":"Lin, Y., Plade, B.: Survey of Publish-Subscribe Event Systems. Computer Science Department, Indiana University. Technical Report, vol. 16 (2003)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-319-15201-1_26","volume-title":"Software Engineering and Formal Methods","author":"J.A. Mateo","year":"2015","unstructured":"Mateo, J.A., Valero, V., Maci\u00e0, H., D\u00edaz, G.: A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. In: Canal, C., Idani, A. (eds.) SEFM 2014 Workshops. LNCS, vol.\u00a08938, pp. 389\u2013404. Springer, Heidelberg (2015)"},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1147\/sj.444.0869","volume":"44","author":"P. Niblett","year":"2005","unstructured":"Niblett, P., Graham, S.: Events and Service-Oriented Architecture: The OASIS Web Services Notification Specifications. IBM Systems Journal\u00a044(4), 869\u2013886 (2005)","journal-title":"IBM Systems Journal"},{"key":"6_CR14","unstructured":"OASIS. UDDI Version 3.02 API Specification (2005), https:\/\/www.oasis-open.org\/committees\/uddi-spec\/doc\/tcspecs.htm#uddiv3"},{"key":"6_CR15","unstructured":"OASIS. OASIS Web Services Resource Framework (WSRF), v1.2 (2006), https:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsrf"},{"key":"6_CR16","unstructured":"Zanolin, L., Ghezzi, C., Baresi, L.: An Approach to Model and Validate Publish\/Subscribe Architectures. In: Proc. of the SAVBS 2003 Workshop, pp. 35\u201341 (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19458-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T22:49:24Z","timestamp":1748386164000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19458-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194578","9783319194585"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19458-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}