{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:52Z","timestamp":1725566332278},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236641"},{"type":"electronic","value":"9783540304708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30470-8_98","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T21:42:15Z","timestamp":1285278135000},"page":"842-853","source":"Crossref","is-referenced-by-count":3,"title":["Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets"],"prefix":"10.1007","author":[{"given":"Marina","family":"Bagic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"98_CR1","doi-asserted-by":"crossref","unstructured":"Xu, H., Shatz, S.M., Smith, A.B.: A framework for Model-Based Design of Agent-Oriented Software. IEEE Transactions on Software Engineering\u00a029(1) (2003)","DOI":"10.1109\/TSE.2003.1166586"},{"key":"98_CR2","unstructured":"Xu, H.: A model-based approach for development of multi-agent software systems, Ph. D. Thesis submitted in the Graduate College of rhe University of Illinois at Chicago, Chicago, Illinois (2003)"},{"key":"98_CR3","first-page":"98","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner\u2019s guide to Coloured Petri nets. IEEE Transactions on Software Engineering, Int J STTT\u00a02, 98\u2013132 (1998)","journal-title":"IEEE Transactions on Software Engineering, Int J STTT"},{"key":"98_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-58043-3_21","volume-title":"A Decade of Concurrency","author":"K. Jensen","year":"1994","unstructured":"Jensen, K.: An introduction to the Theoretical Aspects of Coloured Petri nets. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 230\u2013272. Springer, Heidelberg (1994)"},{"key":"98_CR5","doi-asserted-by":"crossref","unstructured":"Kunstic, M., Bagic, M.: Verification and Validation of Multiagent System Specified by Agent UML. In: Proceeding of 1st International Conference on Information & Communication Technologies from Theory to Applications - ICTTA 2004, Damascus, Syria (2004)","DOI":"10.1109\/ICTTA.2004.1307844"},{"key":"98_CR6","unstructured":"Kunstic, M., Bagic, M.: Formal Infrastructure of Multi-agent System Specified by Agent UML and Petri Nets. In: International Conference on Computer, Communication and Control Technologies CCCT 2004, Proceedings of Computer, Communication and Control Technologies, HIS, Austin, Texas, USA (2004)"},{"key":"98_CR7","unstructured":"Saldhana, J. A., Shatz, S. M.: UML diagrams to Object Petri Net Models: An approach for Modeling and Analysis (2000)"},{"key":"98_CR8","doi-asserted-by":"crossref","unstructured":"Jensen, K.: An introduction to the Practical Use of Coloured Petri nets, Advanced Course on Petri Nets, Dagstuhl, Germany (1996)","DOI":"10.1007\/978-3-662-03241-1"},{"key":"98_CR9","unstructured":"Foundation for Intelligent Physical Agents: FIPA Modelling: Interaction Diagrams, working draft, version 2003-03-03 1L05EST, Geneva, Switzerland (2003)"},{"key":"98_CR10","unstructured":"Foundation for Intelligent Physical Agents: FIPA Modelling: Agent Class Diagrams, working draft, version 2003-03-03 1L05EST, Geneva, Switzerland (2003)"},{"key":"98_CR11","unstructured":"Foundation for Intelligent Physical Agents: FIPA Modelling: Agent Class Superstructure Metamodel, initial draft for review, London, UK (2003)"},{"key":"98_CR12","unstructured":"Pooley, R., King, P.: Derivation of Petri Net Performance Models from UML Specifications of Communications Software. In: Proceedings of the fifteenth annual UK Performance Engineering Workshop, pp. 45\u201356 (1999)"},{"key":"98_CR13","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/3-540-44539-0_8","volume-title":"Engineering Societiea in the Agents World","author":"F. Bergenti","year":"2000","unstructured":"Bergenti, F., Poggi, A.: Exploiting UML in the Design of Multi-Agent Systems, Lecture Notes in Computer Science. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) Engineering Societiea in the Agents World, pp. 106\u2013113. Springer, Heidelberg (2000)"},{"key":"98_CR14","doi-asserted-by":"crossref","unstructured":"Hughes, P., Pahl, C.: A Generic Model for State-based Agent Systems. In: Proceedings of the 1st Irish Workshop on Formal Methods, Dublin (1997)","DOI":"10.14236\/ewic\/FM1997.5"},{"key":"98_CR15","unstructured":"Sertic, H.: Uporaba jezika UML i Petrijevih mreza za modeliranje sustava za rad u stvar-nom vremenu, Master Thesis, Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb (2004)"},{"key":"98_CR16","unstructured":"Pooley, R., King, P.: Derivation of Petri Net Performance Models from UML Specifications of Communications Software. In: Proceedings of the fifteenth annual UK Performance Engineering Workshop, pp. 45\u201356 (1999)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30470-8_98.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:02:26Z","timestamp":1620014546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30470-8_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236641","9783540304708"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30470-8_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}