{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:12:42Z","timestamp":1725552762355},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749295"},{"type":"electronic","value":"9783540749301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-74930-1_7","type":"book-chapter","created":{"date-parts":[[2010,4,24]],"date-time":"2010-04-24T05:08:48Z","timestamp":1272085728000},"page":"63-74","source":"Crossref","is-referenced-by-count":0,"title":["Object-Oriented High Level Petri Nets as a Formal Language for Modelling and Design Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Marius","family":"Brezovan","sequence":"first","affiliation":[]},{"given":"Eugen","family":"Ganea","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1_7","doi-asserted-by":"crossref","unstructured":"Bastide R, Sibertin-Blanc C, Palanque P (1993) Cooperative Objects: A Concurrent, Petri-Net Based, Object-Oriented Language. Proc. of the IEEE International Conference on Systems, Man and Cybernetics, 286\u2013292","DOI":"10.1109\/ICSMC.1993.385025"},{"key":"7_CR2_7","first-page":"131","volume":"95","author":"O Biberstein","year":"1995","unstructured":"Biberstein O, Buchs D (1995) Structured Algebraic Nets with Object-Orientation. Workshop on Object-Oriented Programming and Models of Concurrency 95, 131\u2013145","journal-title":"Workshop on Object-Oriented Programming and Models of Concurrency"},{"key":"7_CR3_7","first-page":"70","volume":"2001","author":"O Biberstein","year":"2001","unstructured":"Biberstein O, Buchs D, Guelfi N (2001) Object-Oriented Nets with Algebraic Specifications: The CO-OPN\/2 formalism. Lecture Notes in Computer Science 2001: 70\u2013127","journal-title":"Lecture Notes in Computer Science"},{"issue":"3","key":"7_CR4_7","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1002\/j.1096-9942.1995.tb00019.x","volume":"l","author":"K Bruce","year":"1996","unstructured":"Bruce K, Cardelli L, Castagna G, The Hopkins Objects Group, Leavens G, Pierce B (1996) On Binary Methods. Theory and Practice of Object Systems, l(3): 221\u2013242","journal-title":"Theory and Practice of Object Systems"},{"key":"7_CR5_7","unstructured":"Buchs D, Guelfi N (1991) CO-OPN: a Concurrent Object Oriented Petri Net Approach. Proc. of the International Conference on Application and Theory of Petri Nets, 432\u2013454"},{"issue":"1","key":"7_CR6_7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J Goguen","year":"1999","unstructured":"Goguen J, Burstall R (1999) Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association for Computing Machinery, 39(1): 95\u2013146","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"2","key":"7_CR7_7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J Goguen","year":"1992","unstructured":"Goguen J, Meseguer J (1992) Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theoretical Computer Science, 105(2) : 217\u2013273","journal-title":"Theoretical Computer Science"},{"key":"7_CR8_7","unstructured":"Holvoet T, Verbaeten P (1996) Synchronization specications for agents with net-based behavior descriptions. Proc. of CESA \u201996 IMACS Conference, Symposium on Discrete Events and Manufacturing Systems, Lille, France, 613\u2013618"},{"key":"7_CR9_7","unstructured":"Holvoet T, Keilmann T (1997) Behavior specication of active objects in open generative communication environments. In: Hesham El-Rewini and Yale N. Patt (eds) Proc. of the HICSS-30 Conference, Track on Coordination Models, Languages and Systems, 349\u2013358. IEEE Computer Society Press, 7\u201310"},{"key":"7_CR10_7","unstructured":"Huhns S (1999) Multi-agent Systems and Societies of Agents. In: G. Weiss, Multiagent Systems, MIT Press"},{"key":"7_CR11_7","unstructured":"ISO\/IEC 15909 Committee (2002) High-level Petri Nets \u2014 Concepts, Definition and Graphical Notation. Final Draft. International Standard ISO\/IEC 15909, Version 4.7.3"},{"key":"7_CR12_7","unstructured":"Luck M, dIverno M (1995) A formal framework for agency and autonomy. Proc. of the First Intl. Conf. Multi-Agent Systems, 254\u2013269"},{"key":"7_CR13_7","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-63139-9_31","volume":"1248","author":"D Moldt","year":"1997","unstructured":"Moldt D, Wienberg F (1997) Multi-agent-systems based on coloured petri nets. Proc. of the 18th International Conference on Application and Theory of Petri Nets, Toulouse, France. Lecture Notes in Computer Science, 1248: 82\u2013101","journal-title":"Lecture Notes in Computer Science"},{"key":"7_CR14_7","unstructured":"Mossakowski T (1996) Representations, hierarchies and graphs of institutions. Ph.D.thesis, Universitat Bremen"},{"key":"7_CR15_7","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-58152-9_26","volume":"815","author":"C Sibertin-Blanc","year":"1994","unstructured":"Sibertin-Blanc C (1994) Cooperative nets. Lecture Notes in Computer Science 815: 471\u2013490","journal-title":"Lecture Notes in Computer Science"},{"key":"7_CR16_7","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-45397-0_7","volume":"2001","author":"C Sibertin-Blanc","year":"2001","unstructured":"Sibertin-Blanc C (2001) CoOperative Objects: Principles, Use and Implementation. Lecture Notes in Computer Science 2001: 216\u2013246","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"7_CR17_7","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/TSE.2003.1166586","volume":"29","author":"H Xu","year":"2003","unstructured":"Xu H, Shatz S M (2003) A framework for model-based design of agent-oriented software. IEEE Transactions on Software Engineering, 29(1): 15\u201330","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR18_7","unstructured":"Valk R (1995) Petri Nets as dynamical objects. Proc. of the 16th International Conference on Application and Theory of Petri Nets, 26\u201330"},{"key":"7_CR19_7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume":"1420","author":"R Valk","year":"1998","unstructured":"Valk R (1998) Petri Nets as Token Objects - An Introduction to Elementary Object Nets. Lecture Notes in Computer Science. 1420: 1\u201325","journal-title":"Lecture Notes in Computer Science"},{"issue":"3","key":"7_CR20_7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1023\/B:AGNT.0000038028.66672.1e","volume":"9","author":"F Zambonelli","year":"2004","unstructured":"Zambonelli F, Omicini A (2004) Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Sytems, 9(3): 253\u2013283","journal-title":"Autonomous Agents and Multi-Agent Sytems"}],"container-title":["Studies in Computational Intelligence","Advances in Intelligent and Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74930-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:47:30Z","timestamp":1619520450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74930-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540749295","9783540749301"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74930-1_7","relation":{},"ISSN":["1860-949X"],"issn-type":[{"type":"print","value":"1860-949X"}],"subject":[],"published":{"date-parts":[[2008]]}}}