{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:23:00Z","timestamp":1725560580704},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213772"},{"type":"electronic","value":"9783540247562"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24756-2_16","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:18:31Z","timestamp":1280261911000},"page":"287-306","source":"Crossref","is-referenced-by-count":1,"title":["Object-Oriented Modelling with High-Level Modular Petri Nets"],"prefix":"10.1007","author":[{"given":"C\u00e9cile Bui","family":"Thanh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57208-2","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"E. Best","year":"1993","unstructured":"Best, E., Hopkins, R.P.: B(PN)2 \u2013 a Basic Petri Net Programming Notation. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol.\u00a0694, Springer, Heidelberg (1993)"},{"key":"16_CR2","volume-title":"Acta Informatica","author":"E. Best","year":"1998","unstructured":"Best, E., Fraczak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-nets2: an Algebra of High-Level Petri Nets, with an application to the semantics of concurrent programming languages. In: Acta Informatica, vol.\u00a035, Springer, Heidelberg (1998)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets on Object-Orientation","author":"O. Biberstein","year":"2000","unstructured":"Biberstein, O., Buchs, D., Guelfi, N.: Object-Oriented Nets with Algebraic Specifications: The CO-OPN\/2 formalism. In: Advances in Petri Nets on Object-Orientation. LNCS, Springer, Heidelberg (2000)"},{"key":"16_CR4","volume-title":"The Unified Modeling Language User Guide.","author":"G. Booch","year":"1998","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)"},{"key":"16_CR5","unstructured":"Bui Thanh, C., Klaudel, H.: Encapsulation in an Object-Oriented Notation Based on Modular Petri Nets. In: Simulation with Petri nets, ESMc 2003, Eurosis (2003)"},{"key":"16_CR6","unstructured":"Clown, C.: CLass Orientation With Nets. Master degree thesis, Univ. of Milan (1996)"},{"key":"16_CR7","volume-title":"PDSE 1997","author":"H. Fleischhack","year":"1997","unstructured":"Fleischhack, H., Grahlmann, B.: A Petri Net Semantics for B(PN)2 with Procedures. In: PDSE 1997, IEEE Computer Society, Boston (1997)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Grahlmann","year":"1996","unstructured":"Grahlmann, B., Best, E.: PEP \u2013 More than a Petri Net Tool. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, Springer, Heidelberg (1996)"},{"key":"16_CR9","volume-title":"Core Java 2","author":"S. Horstmann","year":"1999","unstructured":"Horstmann, S., Cornell, G.: Core Java 2, vol.\u00a01 & 2. Prentice-Hall, Englewood Cliffs (1999)"},{"key":"16_CR10","volume-title":"SCP 41","author":"H. Klaudel","year":"2001","unstructured":"Klaudel, H.: Compositional High-Level Petri Net Semantics of a Parallel Programming Language with Procedures. In: SCP 41, Elsevier, Amsterdam (2001)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0027865","volume-title":"Advances in Petri Nets","author":"C. Lakos","year":"1997","unstructured":"Lakos, C.: Object Oriented Modelling with Object Petri Nets. In: Advances in Petri Nets. LNCS, Springer, Heidelberg (1997)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Euro-Par \u201996 - Parallel Processing","author":"J. Lilius","year":"1996","unstructured":"Lilius, J.: OB(PN)2: An Object Based Petri Net Programming Notation. In: Fraigniaud, P., Mignotte, A., Boug\u00e9, L., Robert, Y. (eds.) Euro-Par 1996. LNCS, vol.\u00a01123, Springer, Heidelberg (1996)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Lilius, J.: OOB(PN)2: An Object-Oriented Petri Net Programming Notation. In: The 2nd Workshop on Object-Oriented Programming and Models of Concurrency (1996)","DOI":"10.1007\/3-540-61626-8_87"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/3-540-45397-0_8","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"J. Lilius","year":"2001","unstructured":"Lilius, J.: OB(PN)2: An Object Based Petri Net Programming Notation. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, p. 247. Springer, Heidelberg (2001)"},{"key":"16_CR15","unstructured":"Lilius, J., Pelz, E.: An M-net Semantics for B(PN)2 with Procedures. In: Proc. of ISCIS 1996, Middle East Technical University, vol.\u00a0I (1996)"},{"key":"16_CR16","unstructured":"M\u00e4kel\u00e4, M.: MARIA: modular reachability analyser for algebraic system nets. Online manual (1999), \n                    \n                      http:\/\/www.tcs.hut.fi\/maria"},{"key":"16_CR17","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"16_CR18","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1986","unstructured":"Stroustrup, B.: The C++ Programming Language. Addison-Wesley, Reading (1986)"},{"key":"16_CR19","unstructured":"Design\/CPN Reference Manual for X-Windows. Online manual (1993), \n                    \n                      http:\/\/www.daimi.aau.dk\/designCPN\/"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24756-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T16:43:05Z","timestamp":1558284185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24756-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213772","9783540247562"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24756-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}