{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:17:15Z","timestamp":1725484635192},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434108"},{"type":"electronic","value":"9783540460008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46000-4_22","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T22:17:36Z","timestamp":1180477056000},"page":"220-235","source":"Crossref","is-referenced-by-count":8,"title":["PN2: An Elementary Model for Design and Analysis of Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Kunihiko","family":"Hiraishi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"22_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"An Environment for Object-Oriented Conceptual Programming Based on PROT Nets","author":"M. Baldassari","year":"1988","unstructured":"M. Baldassari, An Environment for Object-Oriented Conceptual Programming Based on PROT Nets, Lecture Notes in Computer Science, Vol.340, pp.1\u201319 (1988)."},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-50580-6_22","volume-title":"OBJSA Nets: A Class of High-Level Nets Having Objects as Domains","author":"E. Battiston","year":"1988","unstructured":"E. Battiston, F. De Cindio, G. Mauri, OBJSA Nets: A Class of High-Level Nets Having Objects as Domains, Lecture Notes in Computer Science, Vol.340, pp.20\u201343 (1988)."},{"key":"22_CR3","unstructured":"O. Biberstein, D. Buchs, and N. Cuelfi, CO-OPN\/2\u2014A Specification Language for Distributed System Engineering, Technical Report 96\/167, Software Engineering Laboratory, Swiss Federal Institute of Technology (1996)."},{"key":"22_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Mobile Ambients","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli and A. D. Gordon, Mobile Ambients, Lecture Notes in Computer Science, vol.1378, pp.140\u2013155, 1998."},{"key":"22_CR5","series-title":"Lect Notes Comput Sci","first-page":"591","volume-title":"PNTalk\u2014A Computerized Tool for Object Oriented Petri Nets Modelling","author":"M. Ceska","year":"1994","unstructured":"M. Ceska, V. Janousek, and T. Vojnar, PNTalk\u2014A Computerized Tool for Object Oriented Petri Nets Modelling, Lecture Notes in Computer Science, Vol.1333, pp.591\u2013610 (1994)."},{"key":"22_CR6","series-title":"Lect Notes Comput Sci","first-page":"229","volume-title":"Net-based Description of Parallel Objectbased Systems","author":"J. Engelfriet","year":"1990","unstructured":"J. Engelfriet, G. Leih, G. Rozenberg, Net-based Description of Parallel Objectbased Systems, Lecture Notes in Computer Science, Vol.489, pp.229\u2013273(1990)."},{"key":"22_CR7","unstructured":"K. Hiraishi, A Petri-net-based Model for the Mathematical Analysis of Multi-agent Systems, to appear in IEICE Trans. Fundamentals."},{"key":"22_CR8","unstructured":"K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume I, II, III, Springer-Verlag (1992, 1995, 1997)."},{"key":"22_CR9","unstructured":"O. Kummar and F. Wienberg, Renew\u2014the Reference Net Workshop, Petri Net Newsletter, No.56, pp.12\u201316 (1999)."},{"key":"22_CR10","unstructured":"C. Lakos and C. Keen, LOOPN++: A New Language for Object-Oriented Petri Nets, Technical Report, R94-4, Department of Computer Science, University of Tasmania (1994)."},{"key":"22_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-60029-9_45","volume-title":"From Coloured Petri Nets to Object Petri Nets","author":"C. Lakos","year":"1995","unstructured":"C. Lakos, From Coloured Petri Nets to Object Petri Nets, Lecture Notes in Computer Science, Vol.935, pp.278\u2013297 (1995)."},{"key":"22_CR12","unstructured":"R. Milner, Communicating and Mobile Systems: The \u03c0-Calculus, Cambridge university press (1999)."},{"key":"22_CR13","unstructured":"T. Miyamoto and S. Kumagai, A Multi Agent Net Model of Autonomous Distributed Systems, Proc. CESA\u201996, Symposium of Discrete Events and Manufacturing Systems, pp.619\u2013623(1996)."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol.77, No.4, (1989).","DOI":"10.1109\/5.24143"},{"key":"22_CR15","unstructured":"S. Philippi, System Modeling Using Object-Oriented Pr\/T-Nets, Research Report No. 25\/97, Institute for Computer Science, University Koblenz-Landau (1997)."},{"key":"22_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-58152-9_26","volume-title":"Cooperative Nets","author":"C. Sibertin-Blanc","year":"1994","unstructured":"C. Sibertin-Blanc, Cooperative Nets, Lecture Notes in Computer Science, Vol.815, pp.471\u2013490 (1994)."},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1995.1004","volume":"116","author":"B. Thomsen","year":"1995","unstructured":"B. Thomsen, A Theory of Higher Order Communicating Systems, Information and Computation, vol.116, pp.38\u201357, 1995.","journal-title":"Information and Computation"},{"key":"22_CR18","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Petri Nets as Token Objects\u2014An Introduction to Elementary Object Nets","author":"R. Valk","year":"1998","unstructured":"R. Valk, Petri Nets as Token Objects\u2014An Introduction to Elementary Object Nets, Lecture Notes in Computer Science, Vol. 1420, pp.1\u201325 (1998)."},{"key":"22_CR19","unstructured":"R. Valk, Relating Different Semantics for Object Petri Nets, Research Report FBIHH-B-226\/00, Faculty of Informatics, University of Hamburg (2000)."},{"key":"22_CR20","unstructured":"J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-hall (1981)."},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"P. Ramadge, and W. M. Wonham: The Control of Discrete Event Systems, Proc. IEEE, Vol.77, No.1, pp.81\u201398 (1989).","DOI":"10.1109\/5.21072"},{"key":"22_CR22","unstructured":"G. Weiss (ed.), Multiagent systems\u2014A Modern Approach to Distributed Artificial Intelligence: Chapter I, The MIT Press (1999)."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46000-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T19:44:47Z","timestamp":1550346287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46000-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434108","9783540460008"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-46000-4_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}