{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:35:28Z","timestamp":1743014128935,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_11","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"135-150","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and Simulating Interaction Protocols Using Nested Petri Nets"],"prefix":"10.1007","author":[{"given":"Mirtha Lina Fern\u00e1ndez","family":"Venero","sequence":"first","affiliation":[]},{"given":"Fl\u00e1vio Soares Corr\u00eaa","family":"da Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"issue":"3","key":"11_CR1","first-page":"155","volume":"2","author":"S Bandini","year":"2004","unstructured":"Bandini, S., Manzoni, S., Vizzari, G.: Multi-agent approach to localization problems: the case of multilayered multi-agent situated system. Web Intell. Agent. Syst. 2(3), 155\u2013166 (2004)","journal-title":"Web Intell. Agent. Syst."},{"issue":"7","key":"11_CR2","doi-asserted-by":"publisher","first-page":"891","DOI":"10.1142\/S0218194012500246","volume":"22","author":"L Chang","year":"2012","unstructured":"Chang, L., He, X., Shatz, S.M.: A methodology for modeling multi-agent systems using nested Petri nets. Int. J. Softw. Eng. Knowl. Eng. 22(7), 891\u2013925 (2012)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10115-011-0448-7","volume":"30","author":"FS Corr\u00eaa da Silva","year":"2012","unstructured":"Corr\u00eaa da Silva, F.S.: Knowledge-based interaction protocols for intelligent interactive environments. Knowl. Inf. Syst. 30, 1\u201324 (2012)","journal-title":"Knowl. Inf. Syst."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.knosys.2012.07.023","volume":"37","author":"FS Corr\u00eaa da Silva","year":"2013","unstructured":"Corr\u00eaa da Silva, F.S., Venero, M.L.F., David, D.M., Saleemb, M., Chung, P.W.H.: Interaction protocols for cross-organisational workflows. Knowl. Based Syst. 37, 121\u2013136 (2013)","journal-title":"Knowl. Based Syst."},{"key":"11_CR5","series-title":"LNCS (LNAI)","first-page":"126","volume-title":"AgentLink 2000","author":"M Esteva","year":"2001","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126\u2013147. Springer, Heidelberg (2001)"},{"key":"11_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1992)"},{"key":"11_CR7","series-title":"LNCS","first-page":"121","volume-title":"ICATPN 2003","author":"M K\u00f6hler","year":"2003","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling mobility and mobile agents using nets within nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 121\u2013139. Springer, Heidelberg (2003)"},{"key":"11_CR8","series-title":"LNCS","first-page":"208","volume-title":"PSI 1999","author":"IA Lomazova","year":"2000","unstructured":"Lomazova, I.A., Schnoebelen, P.: Some decidability results for nested Petri Nets. In: Bjorner, D., Broy, M., Zamulin, A.V. (eds.) PSI 1999. LNCS, vol. 1755, pp. 208\u2013220. Springer, Heidelberg (2000)"},{"issue":"4","key":"11_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1010914603293","volume":"27","author":"IA Lomazova","year":"2001","unstructured":"Lomazova, I.A.: Recursive nested Petri nets: analysis of semantic properties and expessibility. Program. Comput. Softw. 27(4), 183\u2013193 (2001)","journal-title":"Program. Comput. Softw."},{"issue":"1\u20132","key":"11_CR10","first-page":"121","volume":"51","author":"IA Lomazova","year":"2002","unstructured":"Lomazova, I.A.: Modeling dynamic objects in distributed systems with nested Petri nets. Fundam. Informaticae 51(1\u20132), 121\u2013133 (2002)","journal-title":"Fundam. Informaticae"},{"key":"11_CR11","series-title":"LNCS","first-page":"416","volume-title":"ICLP 2004","author":"D Robertson","year":"2004","unstructured":"Robertson, D.: Multi-agent coordination as distributed logic programming. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 416\u2013430. Springer, Heidelberg (2004)"},{"issue":"3","key":"11_CR12","first-page":"335","volume":"34","author":"WMP van der Aalst","year":"1999","unstructured":"van der Aalst, W.M.P.: Interorganizational workflows: an approach based on message sequence charts and Petri nets. Syst. Anal. Model. Simul. 34(3), 335\u2013367 (1999)","journal-title":"Syst. Anal. Model. Simul."},{"key":"11_CR13","series-title":"LNCS","first-page":"83","volume-title":"SBMF 2013","author":"ML Fern\u00e1ndez Venero","year":"2013","unstructured":"Fern\u00e1ndez Venero, M.L., Corr\u00eaa da Silva, F.S.: On the use of SPIN for studying the behavior of nested Petri Nets. In: Iyoda, J., de Moura, L. (eds.) SBMF 2013. LNCS, vol. 8195, pp. 83\u201398. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T21:29:00Z","timestamp":1676582940000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}