{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T10:12:45Z","timestamp":1773483165965,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540661320","type":"print"},{"value":"9783540487456","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48745-x_5","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:12:59Z","timestamp":1193472779000},"page":"66-85","source":"Crossref","is-referenced-by-count":12,"title":["Petri Net Based Behavioural Specification of CORBA Systems"],"prefix":"10.1007","author":[{"given":"R\u00e9mi","family":"Bastide","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"Ousmane","family":"Sy","sequence":"additional","affiliation":[]},{"given":"Duc-Hoa","family":"Le","sequence":"additional","affiliation":[]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"5_CR1","unstructured":"Agha, Gul, and De Cindio, Fiorella. \u201cWorkshop on Object-Oriented Programming and Models of Concurrency.\u201d ICATPN\u201995, Torino, Italy, June 26\u201330, 1995. (1995)"},{"key":"5_CR2","unstructured":"Agha, Gul, De Cindio, Fiorella, and Yonezawa, Akinori. \u201c2nd International Workshop on Object-Oriented Programming and Models of Concurrency.\u201d ICATPN\u201996, Osaka, Japan, June 24, 1996. (1996)"},{"key":"5_CR3","unstructured":"Bastide, R\u00e9mi. \u00abObjets Coop\u00e9ratifs: Un Formalisme Pour La Mod\u00e9lisation Des Syst\u00e8mes Concurrents. \u00bbPh.D. thesis, Universit\u00e9 Toulouse III (1992)."},{"key":"5_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-60029-9_34","volume-title":"ICATPN\u201995","author":"R. Bastide","year":"1995","unstructured":"Bastide, R\u00e9mi, and Palanque, Philippe. \u201cA Petri-Net Based Environment for the Design of Event-Driven Interfaces.\u201d ICATPN\u201995. LNCS no. 935. Springer (1995) 66\u201383."},{"key":"5_CR5","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"R. Bastide","year":"1998","unstructured":"Bastide, R\u00e9mi, and Palanque, Philippe. \u201cModeling a Groupware Editing Tool With Cooperative Objects.\u201d Concurrent Object-Oriented Programming and Petri Nets. Gul A. Agha, and Fiorella De Cindio, editors. Wien: Springer-Verlag (1998)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Desel, J\u00f6rg, and Javier Esparza. Free Choice Petri Nets. Cambridge Tracts on Computer Science, 40 Cambridge University Press (1995).","DOI":"10.1017\/CBO9780511526558"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Gaspari, Mauro, and Zavattaro, Gianluigi. \u201cA Process Algebraic Specification of the New Asynchronous CORBA Messaging Service.\u201dECOOP\u201999 (1999)","DOI":"10.1007\/3-540-48743-3_23"},{"key":"5_CR8","unstructured":"Goguen, J. A., Thatcher, J. W., and Wagner, E. G. \u201cCurrent Trends in Programming Methodology.\u201d An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. Prentice-Hall (1978) 80\u2013149."},{"issue":"7","key":"5_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel, David, and Gery, Eran. \u201cExecutable Object Modeling With Statecharts.\u201d IEEE Computer 30, no.7 (1997) 31\u201342.","journal-title":"IEEE Computer"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Jensen, Kurt.Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. 2nd edition ed., Vol. 2 Springer-Verlag (1996).","DOI":"10.1007\/978-3-662-03241-1"},{"key":"5_CR11","unstructured":"Kilov, Ha\u00efm, and William Harvey, editors. Object-Oriented Behavioral Specifications Kluwer Academic Publishers (1996)."},{"key":"5_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-58152-9_19","volume-title":"ICATPN\u201994, June 1994","author":"Charles. Lakos","year":"1994","unstructured":"Lakos, Charles. \u201cA General Systematic Approach to Arc Extensions for Coloured Petri Nets.\u201dICATPN\u201994, June 1994. LNCS no. 815. Springer (1994) 338\u201357."},{"key":"5_CR13","unstructured":"Lakos, Charles, and Keen, C. D. \u201cLOOPN++: a New Language for Object-Oriented Petri Nets.\u201d European Simulation Multiconference, Barcelona, Spain, June 1994. (1994)"},{"issue":"9","key":"5_CR14","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/162685.162705","volume":"36","author":"Bertrand. Meyer","year":"1993","unstructured":"Meyer, Bertrand. \u201cSystematic Concurrent Object-Oriented Programming.\u201d Communications of the ACM 36, no. 9 (1993) 56\u201380.","journal-title":"Communications of the ACM"},{"key":"5_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-63139-9_31","volume-title":"ICATPN\u201997","author":"D. Moldt","year":"1997","unstructured":"Moldt, Daniel, and Wienberg, Franck. \u201cMulti-Agent-Systems Based on Coloured Petri Nets.\u201d ICATPN\u201997, Toulouse France, June 1997. LNCS no. 1248. Springer (1997) 82\u2013101."},{"key":"5_CR16","unstructured":"Object Management Group. The Common Object Request Broker: Architecture and Specification. COBRA IIOP 2.2 \/98-02-01, Framingham, MA (1998)."},{"issue":"5","key":"5_CR17","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"6","author":"C. V. Ramamoorthy","year":"1980","unstructured":"Ramamoorthy, C. V., and Ho, G. S. \u201cPerformance Evaluation of Asynchronous Concurrent Systems.\u201d IEEE Transactions of Software Engineering 6, no. 5 (1980) 440\u2013449.","journal-title":"IEEE Transactions of Software Engineering"},{"key":"5_CR18","unstructured":"Rational Software Corporation. UML Notation Guide. 1.1 ed. 1997."},{"key":"5_CR19","unstructured":"\u2014. UML Semantics. 1.1 ed. 1997."},{"key":"5_CR20","series-title":"Lect Notes Comput Sci","volume-title":"ICATPN\u201994","author":"Christophe. Sibertin-Blanc","year":"1994","unstructured":"Sibertin-Blanc, Christophe. \u201cCooperative Nets.\u201d ICATPN\u201994. LNCS 815. Springer (1994)"},{"issue":"10","key":"5_CR21","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/286238.286246","volume":"41","author":"Jon. Siegel","year":"1998","unstructured":"Siegel, Jon. \u201cOMG Overview: CORBA and the OMA in Enterprise Computing.\u201d Communications of the ACM 41, no. 10 (1998) 37\u201343.","journal-title":"Communications of the ACM"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Sy, Ousmane, Bastide, R\u00e9mi, Palanque, Philippe, Le, Duc-Hoa, and Navarre, David. \u201cPetShop: a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems.\u201d ICATPN\u201999, Williamsburg, VA, USA, June 21-25, 1999. (1999)","DOI":"10.1007\/3-540-48745-X_5"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Valk, R\u00fcdiger. \u201cPetri Nets As Token Objects: an Introduction to Elementary Object Nets.\u201d ICATPN\u201998, Lissabon, Portugal, June 1998. Springer (1998)","DOI":"10.1007\/3-540-69108-1_1"},{"key":"5_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-63139-9_30","volume-title":"ICATPN\u201997","author":"W. M. P. Aalst van der","year":"1997","unstructured":"van der Aalst, W. M. P., and Basten, T. \u201cLife-Cycle Inheritance, a Petri-Net Based Approach.\u201d ICATPN\u201997, LNCS no. 1248. Springer (1997) 62\u201381."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48745-X_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T09:39:57Z","timestamp":1629970797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48745-X_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661320","9783540487456"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-48745-x_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}