{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:58:09Z","timestamp":1725515889668},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687450"},{"type":"electronic","value":"9783540687467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68746-7_26","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T02:37:54Z","timestamp":1217471874000},"page":"399-408","source":"Crossref","is-referenced-by-count":3,"title":["A Monitoring Toolset for Paose"],"prefix":"10.1007","author":[{"given":"Lawrence","family":"Cabac","sequence":"first","affiliation":[]},{"given":"Till","family":"D\u00f6rges","sequence":"additional","affiliation":[]},{"given":"Heiko","family":"R\u00f6lke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/3-540-44919-1_30","volume-title":"Applications and Theory of Petri Nets 2003","author":"A. Al-Shabibi","year":"2003","unstructured":"Al-Shabibi, A., Buchs, D., Buffo, M., Chachkov, S., Chen, A., Hurzeler, D.: Prototyping object oriented specifications. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 473\u2013482. Springer, Heidelberg (2003)"},{"key":"26_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-540-30082-3_22","volume-title":"Multiagent System Technologies","author":"J.A. Bot\u00eda","year":"2004","unstructured":"Bot\u00eda, J.A., Hernansaez, J.M., Skarmeta, F.G.: Towards an approach for debugging mas through the analysis of acl messages. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol.\u00a03187, pp. 301\u2013312. Springer, Heidelberg (2004)"},{"key":"26_CR3","unstructured":"Cabac, L., Dirkner, R., R\u00f6lke, H.: Modelling service dependencies for the analysis and design of multi-agent applications. In: Moldt, D. (ed.) Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA 2006, number FBI-HH-B-272\/06 in Reports of the Department of Informatics, Vogt-K\u00f6lln Str. 30, D-22527 Hamburg, Germany, June 2006, pp. 291\u2013298. University of Hamburg, Department of Informatics (2006)"},{"key":"26_CR4","unstructured":"Cabac, L., D\u00f6rges, T., Duvigneau, M., Reese, C., Wester-Ebbinghaus, M.: Application development with Mulan. In: Moldt, D., Kordon, F., van Hee, K., Colom, J.-M., Bastide, R. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007), Siedlce, Poland, June 2007, pp. 145\u2013159. Akademia Podlaska (2007)"},{"key":"26_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/11872283_2","volume-title":"Multiagent System Technologies","author":"L. Cabac","year":"2006","unstructured":"Cabac, L., Knaak, N., Moldt, D., R\u00f6lke, H.: Analysis of multi-agent interactions with process mining techniques. In: Fischer, K., Timm, I.J., Andr\u00e9, E., Zhong, N. (eds.) MATES 2006. LNCS (LNAI), vol.\u00a04196, pp. 12\u201323. Springer, Heidelberg (2006)"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-540-30578-1_4","volume-title":"Agent-Oriented Software Engineering V","author":"L. Cabac","year":"2005","unstructured":"Cabac, L., Moldt, D.: Formal semantics for AUML agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 47\u201361. Springer, Heidelberg (2005)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-36540-0_5","volume-title":"Agent-Oriented Software Engineering III","author":"M. Duvigneau","year":"2003","unstructured":"Duvigneau, M., Moldt, D., R\u00f6lke, H.: Concurrent architecture for a multi-agent platform. In: Giunchiglia, F., Odell, J., Wei\u00df, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 59\u201372. Springer, Heidelberg (2003)"},{"key":"26_CR8","unstructured":"Foundation for Intelligent Physical Agents (FIPA) \u2013 homepage. Foundation for Intelligent Physical Agents, \n                    \n                      http:\/\/www.fipa.org\/"},{"key":"26_CR9","unstructured":"The Sniffer for JADE. Online documentation (January 2008), \n                    \n                      http:\/\/jade.cselt.it\/doc\/tools\/sniffer\/index.html"},{"issue":"2","key":"26_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"N.R. Jennings","year":"2000","unstructured":"Jennings, N.R.: On agent-based software engineering. Artificial Intelligence\u00a0117(2), 277\u2013296 (2000)","journal-title":"Artificial Intelligence"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45740-2_14","volume-title":"Applications and Theory of Petri Nets 2001","author":"M. K\u00f6hler","year":"2001","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling the structure and behaviour of Petri net agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 224\u2013241. Springer, Heidelberg (2001)"},{"key":"26_CR12","first-page":"1","volume":"1","author":"O. Kummer","year":"2001","unstructured":"Kummer, O.: Introduction to Petri nets and reference nets. Sozionik Aktuell\u00a01, 1\u20139 (2001)","journal-title":"Sozionik Aktuell"},{"key":"26_CR13","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M.: Renew \u2013 the Reference Net Workshop. Release 2.1 (May 2006), \n                    \n                      http:\/\/www.renew.de\/"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O. Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"26_CR15","unstructured":"MadKit (January 2008), \n                    \n                      http:\/\/www.madkit.org"},{"key":"26_CR16","unstructured":"Mans, R.S., van der Aalst, W.M.P., Bakker, P.J.M., Moleman, A.J., Lassen, K.B., J\u00f8rgensen, J.B.: From requirements via colored workflow nets to an implementation in several workflow systems. In: Proceedings of the International Workshop on Coloured Petri Nets (CPN 2007), October 2007, Computer Science Department, Aarhus University (2007)"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1145\/544862.544966","volume-title":"AAMAS","author":"D. Poutakidis","year":"2002","unstructured":"Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: the case of interaction protocols. In: AAMAS, pp. 960\u2013967. ACM, New York (2002)"},{"key":"26_CR18","series-title":"Agent Technology \u2013 Theory and Applications","volume-title":"Modellierung von Agenten und Multiagentensystemen \u2013 Grundlagen und Anwendungen","author":"H. R\u00f6lke","year":"2004","unstructured":"R\u00f6lke, H.: Modellierung von Agenten und Multiagentensystemen \u2013 Grundlagen und Anwendungen. Agent Technology \u2013 Theory and Applications, vol.\u00a02. Logos Verlag, Berlin (2004) (German)"},{"key":"26_CR19","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0950-5849(95)93487-Y","volume":"37","author":"M.H. Liedekerke Van","year":"1995","unstructured":"Van Liedekerke, M.H., Avouris, N.M.: Debugging multi-agent systems. Information and Software Technology\u00a037, 103\u2013112 (1995)","journal-title":"Information and Software Technology"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68746-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T06:02:27Z","timestamp":1551506547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68746-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540687450","9783540687467"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68746-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}