{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:20Z","timestamp":1725558980769},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540248439"},{"type":"electronic","value":"9783540318460"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31846-0_10","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T19:28:48Z","timestamp":1278358128000},"page":"162-179","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets"],"prefix":"10.1007","author":[{"given":"Hyggo","family":"Oliveira de Almeida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leandro","family":"Dias da Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Perkusich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evandro","family":"de Barros Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/367211.367250","volume":"44","author":"N.R. Jennings","year":"2001","unstructured":"Jennings, N.R.: An Agent-based Approach for Building Complex Software Systems. Commun. ACM\u00a044, 35\u201341 (2001)","journal-title":"Commun. ACM"},{"key":"10_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-540-25940-4_34","volume-title":"RoboCup 2003: Robot Soccer World Cup VII","author":"D. Ball","year":"2004","unstructured":"Ball, D., Wyeth, G.: Multi-Robot Control in Highly Dynamic, Competitive Environments. In: Polani, D., Browning, B., Bonarini, A., Yoshida, K. (eds.) RoboCup 2003. LNCS (LNAI), vol.\u00a03020, pp. 385\u2013396. Springer, Heidelberg (2004)"},{"key":"10_CR3","unstructured":"Fern\u00e1ndez, D.C., L\u00f3pez, J.M.M., Mill\u00e1n, D.B.: A Multiagent Approach for Electronic Travel Planning. In: Proceedings of 2nd International Workshop Agent-Oriented Information Systems\/CAiSE 2000, Stockholm, Sweden (2000)"},{"key":"10_CR4","first-page":"1","volume-title":"Proceedings of the 4th International Eurosim 2001 Congress","author":"J. Henoch","year":"2001","unstructured":"Henoch, J., Ulrich, H.: Agent-Based Simulation Platform for Evaluating Management Concepts. In: Proceedings of the 4th International Eurosim 2001 Congress, pp. 1\u20136. TUDelft Press, Delft, Netherlands (2001)"},{"key":"10_CR5","first-page":"87","volume-title":"Proceedings of 21st the IASTED International Conference on Applied Informatics","author":"S. Kornienko","year":"2003","unstructured":"Kornienko, S., Kornienko, O., Levi, P.: Flexible Manufacturing Process Planning based on the Multi-agent Technology. In: Proceedings of 21st the IASTED International Conference on Applied Informatics, pp. 87\u201392. ACTA Press, Innsbruck (2003)"},{"key":"10_CR6","unstructured":"Upal, M.A., Fung, F.: Dynamic Plan Evaluation for Military Logistics. In: Proceedings of the Seventh International Conference on Artificial Intelligence and Soft Computing, pp. 87\u201392. ACTA Press (2003)"},{"key":"10_CR7","unstructured":"Xuan, P., Lesser, V.: Using Agent Commitments as Planning Contexts. International Journal on Cooperative Information Systems (2003) (under review)"},{"key":"10_CR8","unstructured":"Bowling, M.H., Jensen, R.M., Veloso, M.M.: Multiagent Planning in the Presence of Multiple Goals. In: Intelligent Planning. Intelligent Series. Wiley, Chichester (2004) (to appear)"},{"key":"10_CR9","unstructured":"Pistore, M., Traverso, P.: Planning as Model Checking for Extended Goals in Nondeterministic Domains. In: IJCAI 2001, pp. 479\u2013486 (2001)"},{"key":"10_CR10","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10720246_1","volume-title":"Recent Advances in AI Planning","author":"F. Giunchiglia","year":"2000","unstructured":"Giunchiglia, F., Traverso, P.: Planning as Model Checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol.\u00a01809, pp. 1\u201320. Springer, Heidelberg (2000)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Roveri, M.: Conformant Planning via Symbolic Model Checking. Journal of Artificial Intelligence Research (JAIR), 305\u2013338 (2003)","DOI":"10.1613\/jair.774"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H.: Synthesizing State-Based Object Systems from LSC Specifications. International Journal of Foundations of Computer Science\u00a013, 5\u201351 (2002)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"10_CR14","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis, Methods and Practical Use. In: EACTS \u2013 Monographs on Theoretical Computer Science. Springer, Heidelberg (1992)"},{"key":"10_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets \u2013 Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets \u2013 Basic Concepts, Analysis Methods and Practical Use, vol.\u00a02. Springer, Heidelberg (1997)"},{"volume-title":"Multiagent Systems \u2013 A Modern Approach to Distributed Artificial Intelligence","year":"1999","key":"10_CR16","unstructured":"Weiss, G. (ed.): Multiagent Systems \u2013 A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)"},{"key":"10_CR17","unstructured":"Jensen, K., et al.: Design\/CPN 4.0. Meta Software Corporation and Department of Computer Science, University of Aarhus, Denmark (1999), On-line version, http:\/\/www.daimi.aau.dk\/designCPN\/"},{"key":"10_CR18","unstructured":"Christensen, S., Mortensen, K.H.: Design\/CPN ASK-CTL Manual, University of Aarhus, 9th edn. (1996)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0034807","volume-title":"Advances in Artificial Intelligence","author":"E.B. Costa","year":"1995","unstructured":"Costa, E.B., Lopes, M.A., Ferneda, E.: MATHEMA: A Learning Environment Based on a Multi-Agent Architecture. In: Wainer, J., Carvalho, A. (eds.) SBIA 1995. LNCS, vol.\u00a0991, pp. 141\u2013150. Springer, Heidelberg (1995)"},{"key":"10_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-46016-0_39","volume-title":"Proceedings of 2nd Mexican International Conference on Artificial Intelligence \u2013 MICAI 2002","author":"E. Costa","year":"2002","unstructured":"Costa, E., Almeida, H.O., Lima, E.F.A., Filho, R.R.G.N., Silva, K.S., Assun\u00e7\u00e3o, F.M.: A Cooperative Intelligent Tutoring System: The case of Musical Harmony domain. In: Coello, C., Albornoz, A., Sucar, L., Battistuti, O. (eds.) Proceedings of 2nd Mexican International Conference on Artificial Intelligence \u2013 MICAI 2002, M\u00e9rida, Yucat\u00e1n, M\u00e9xico. LNCS (LNAI), vol.\u00a02313, pp. 367\u2013376. Springer, Heidelberg (2002)"},{"key":"10_CR21","unstructured":"Silva, L.D., Almeida, H.O., Perkusich, A., Costa, E.B.: Modelling and Analysis of a Multi-Agent Intellgent Tutoring System Based on Coloured Petri Nets. In: 1st ACIS International Conference on Software Engineering Research and Applications (SERA 2003), San Francisco, EUA, Mt. Pleasant: International Association for Computer and Information Sciences (ACIS), vol.\u00a01, pp. 276\u2013281 (2003)"},{"key":"10_CR22","unstructured":"Weyns, D., Holvoet, T.: A Coloured Petri Net for a Multi Agent Application. In: Moldt, D. (ed.) Proc. of the Second International Workshop on Modelling of Objects, Components, and Agents (MOCA 2002), Aarhus, Denmark, pp. 121\u2013140 (2002)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Fiorino, H., Tessier, C.: Agent Cooperation: a Petri Net based Model. In: Proceedings of ICMAS 1998, pp. 4\u20137 (1998)","DOI":"10.1109\/ICMAS.1998.699245"},{"key":"10_CR24","unstructured":"Miranda, M., Perkusich, A.: Modeling and Analysis of a Multi-Agent System Using Colored Petri Nets. In: Proc. of Workshop on Applications of Petri Nets to Intelligent System Development, Williamsburg, Virginia, USA, pp. 87\u201399 (1999)"},{"key":"10_CR25","first-page":"82","volume-title":"Proceedings of the 18th International Conference on Application and Theory of Petri Nets","author":"D. Moldt","year":"1997","unstructured":"Moldt, D., Wienberg, F.: Multi-Agent-Systems based on Coloured Petri Nets. In: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, pp. 82\u2013101. Springer, Heidelberg (1997)"},{"key":"10_CR26","unstructured":"Seghrouchni, A.E.F., Haddad, S.: A recursive model for distributed planning. In: Lesser, V. (ed.) Proceedings of the First International Conference on Multi\u2013Agent Systems. MIT Press, Cambridge (1995)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Jensen, R., Veloso, M.: OBDD-based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains. In: Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, Breckenridge, Co, pp. 167\u2013176 (2000)","DOI":"10.1613\/jair.649"},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/568760.568794","volume-title":"Proceedings of the 14th international conference on Software engineering and knowledge engineering","author":"D. Xu","year":"2002","unstructured":"Xu, D., Volz, R., Ioerger, T., Yen, J.: Modeling and Verifying Multi-agent Behaviors using Predicate\/Transition Nets. In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, pp. 193\u2013200. ACM Press, New York (2002)"},{"key":"10_CR29","unstructured":"Xu, H., Shatz, S.M.: A Framework for Modeling Agent-Oriented Software. In: Proceedings of the 21st International Conference on Distributed Computing Systems, ICDCS 2001 (2001)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Multi-Agent Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31846-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T19:50:57Z","timestamp":1635623457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31846-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540248439","9783540318460"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31846-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}