{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:34:14Z","timestamp":1775054054940,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662448595","type":"print"},{"value":"9783662448601","type":"electronic"}],"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-662-44860-1_3","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T15:10:05Z","timestamp":1412089805000},"page":"38-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments"],"prefix":"10.1007","author":[{"given":"Mirtha Lina","family":"Fern\u00e1ndez Venero","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-89674-6_8","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"F Arbab","year":"2008","unstructured":"Arbab, F., A\u015ftef\u0103noaei, L., de Boer, F.S., Dastani, M., Meyer, J.-J., Tinnermeier, N.: Reo connectors as coordination artifacts in 2APL systems. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol. 5357, pp. 42\u201353. Springer, Heidelberg (2008)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-78238-4_24","volume-title":"Business Process Management Workshops","author":"K Barkaoui","year":"2008","unstructured":"Barkaoui, K., Hicheur, A.: Towards analysis of flexible and collaborative workflow using recursive ECATNets. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 232\u2013244. Springer, Heidelberg (2008)"},{"issue":"2","key":"3_CR3","first-page":"239","volume":"12","author":"R Bordini","year":"2006","unstructured":"Bordini, R., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. J. AAMAS 12(2), 239\u2013256 (2006)","journal-title":"J. AAMAS"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Chang, L., He, X.: A model transformation approach for verifying multi-agent systems using SPIN. In: Proceedings of the ACM Symposium on Applied Computing, pp. 37\u201342(2011)","DOI":"10.1145\/1982185.1982196"},{"issue":"7","key":"3_CR5","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":"3_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.knosys.2012.07.023","volume":"37","author":"FSC da Silva","year":"2013","unstructured":"da Silva, F.S.C., Venero, M.L.F., David, D.M., Saleemb, M., Chung, P.W.: Interaction protocols for cross-organisational workflows. Knowl.-Based Syst. 37, 121\u2013136 (2013)","journal-title":"Knowl.-Based Syst."},{"issue":"7","key":"3_CR7","doi-asserted-by":"publisher","first-page":"393","DOI":"10.3103\/S0146411613070201","volume":"47","author":"L Dworza\u0144ski","year":"2013","unstructured":"Dworza\u0144ski, L., Lomazova, I.: CPN tools-assisted simulation and verification of nested Petri nets. Autom. Control Comput. Sci. 47(7), 393\u2013402 (2013)","journal-title":"Autom. Control Comput. Sci."},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","first-page":"1128","volume-title":"MICAI 2006: Advances in Artificial Intelligence","author":"M Flores-Badillo","year":"2006","unstructured":"Flores-Badillo, M., Padilla-Duarte, M., L\u00f3pez-Mellado, E.: Modeling and simulation of mobile agents systems using a multi-level net formalism. In: Gelbukh, A., Reyes-Garcia, C.A. (eds.) MICAI 2006. LNCS (LNAI), vol. 4293, pp. 1128\u20131138. Springer, Heidelberg (2006)"},{"key":"3_CR9","unstructured":"Flores, M., Padilla, M., L\u00f3pez, E.: Modeling and simulation of workflow processes using multi-level petri nets. In: Proceedings of the EOMAS, pp. 50\u201363 (2008)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Gannod, G.C., Gupta, S.: An automated tool for analyzing Petri Nets using SPIN. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, pp. 404\u2013407. IEEE Computer Society (2001)","DOI":"10.1109\/ASE.2001.989839"},{"key":"3_CR11","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"GJ Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston (2003)"},{"key":"3_CR12","unstructured":"Hunter, J., Raimondi, F., Rungta, N., Stocker, R.: A synergistic and extensible framework for multi-agent system verification. In: AAMAS, pp. 869\u2013876 (2013)"},{"key":"3_CR13","series-title":"Basic Concepts, Analysis Methods and Practical Use","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets","author":"K Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer, New York (1992)"},{"key":"3_CR14","unstructured":"Jiao, W., Zhou, M., Wang, Q.: Formal framework for adaptive multi-agent systems. In: IEEE International Conference on Intelligent Agent Technology, pp. 442\u2013445 (2003)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/978-3-642-33185-5_32","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"Y Kissoum","year":"2012","unstructured":"Kissoum, Y., Maamri, R., Sahnoun, Z.: Modeling smart home using the paradigm of nets within nets. In: Ramsay, A., Agre, G. (eds.) AIMSA 2012. LNCS, vol. 7557, pp. 286\u2013295. Springer, Heidelberg (2012)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Kissoum, Y., Sahnoun, Z., Barkaoui, K.: An approach for testing mobile agents using the nets within nets paradigm. In: 3rd International Conference on Research Challenges in Information Science, pp. 207\u2013216 (2009)","DOI":"10.1109\/RCIS.2009.5089284"},{"issue":"1\u20134","key":"3_CR17","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/FI-2000-43123410","volume":"43","author":"IA Lomazova","year":"2000","unstructured":"Lomazova, I.A.: Nested Petri Nets - a formalism for specification and verification of multi-agent distributed systems. Fundamenta Informaticae 43(1\u20134), 195\u2013214 (2000)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"3_CR18","first-page":"19","volume":"3","author":"M Marchese","year":"2009","unstructured":"Marchese, M., Vaccari, L., Trecarichi, G., Osman, N., McNeill, F., Besana, P.: An interaction-centric approach to support peer coordination in distributed emergency response management. J. Intell. Decis. Technol. 3(1), 19\u201334 (2009)","journal-title":"J. Intell. Decis. Technol."},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-75524-1_14","volume-title":"Engineering Societies in the Agents World VII","author":"T Miller","year":"2007","unstructured":"Miller, T., McBurney, P.: Using constraints and process algebra for specification of first-class agent interaction protocols. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 245\u2013264. Springer, Heidelberg (2007)"},{"issue":"4","key":"3_CR20","first-page":"511","volume":"2","author":"A Mislevics","year":"2012","unstructured":"Mislevics, A., Grundspenkis, J.: Integrating workflow-based mobile agents with cloud business process management systems. Int. J. New Comput. Architectures Appl. 2(4), 511\u2013530 (2012)","journal-title":"Int. J. New Comput. Architectures Appl."},{"key":"3_CR21","unstructured":"Prisecaru, O., Jucan, T.: Interorganizational workflow nets: a Petri net based approach for modelling and analyzing interorganizational workflows. In: EOMAS, pp. 64\u201378 (2008)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-540-27775-0_29","volume-title":"Logic Programming","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)"},{"key":"3_CR23","unstructured":"Singh, M.: Semantics and verification of information-based protocols. In: AAMAS, pp. 1149\u20131156 (2012)"},{"issue":"3\u20134","key":"3_CR24","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1142\/S0218843009002063","volume":"18","author":"M Stuit","year":"2009","unstructured":"Stuit, M., Szirbik, N.B.: Towards agent-based modeling and verification of collaborative business processes: an approach centered on interactions and behaviors. Int. J. Coop. Inf. Syst. 18(3\u20134), 423\u2013479 (2009)","journal-title":"Int. J. Coop. Inf. Syst."},{"issue":"3","key":"3_CR25","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/TSC.2011.4","volume":"5","author":"P Telang","year":"2012","unstructured":"Telang, P., Singh, M.: Specifying and verifying cross-organizational business models: an agent-oriented approach. IEEE T. Serv. Comput. 5(3), 305\u2013318 (2012)","journal-title":"IEEE T. Serv. Comput."},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-642-41071-0_7","volume-title":"Formal Methods: Foundations and Applications","author":"ML Fern\u00e1ndez Venero","year":"2013","unstructured":"Fern\u00e1ndez Venero, M.L., da Silva, F.S.C.: 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)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-05032-4_11","volume-title":"Software Engineering and Formal Methods","author":"MLF Venero","year":"2014","unstructured":"Venero, M.L.F., da Silva, F.S.C.: Modeling and simulating interaction protocols using nested petri nets. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 135\u2013150. Springer, Heidelberg (2014)"},{"key":"3_CR28","unstructured":"Venero, M.L.F., da Silva, F.S.C.: A general translation from nested Petri nets into PROMELA. CoRR, abs\/1403.7991 (2014)"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-62803-7_26","volume-title":"Mobile Agents","author":"D Wong","year":"1997","unstructured":"Wong, D., Paciorek, N., Walsh, T., DiCelie, J., Young, M., Peet, B.: Concordia: an infrastructure for collaborating mobile agents. In: Rothermel, K., Popescu-Zeletin, R. (eds.) MA 1997. LNCS, vol. 1219, pp. 86\u201397. Springer, Heidelberg (1997)"},{"key":"3_CR30","unstructured":"Yan, Y., Maamar, Z., Shen, W.: Integration of workflow and agent technology for business process management. In: 6th International Conference on Computer Supported Cooperative Work in Design, pp. 420\u2013426 (2001)"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-70657-7_16","volume-title":"Agent-Oriented Software Engineering II","author":"F Zambonelli","year":"2002","unstructured":"Zambonelli, F.: Abstractions and infrastructures for the design and development of mobile agent organizations. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 245\u2013262. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise and Organizational Modeling and Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44860-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T03:54:31Z","timestamp":1675828471000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-44860-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662448595","9783662448601"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44860-1_3","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}