{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:40Z","timestamp":1742617180429,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:45Z","timestamp":1330269645000},"page":"471-490","source":"Crossref","is-referenced-by-count":47,"title":["Cooperative Nets"],"prefix":"10.1007","author":[{"given":"C.","family":"Sibertin-Blanc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"G. AGHA An overview of Actor Languages. SIGPLAN Notices, Vo 21, n\u221810, October 1986.","DOI":"10.1145\/323648.323758"},{"key":"26_CR2","unstructured":"H. BACHATENE, J-M. COUVREUR A reference Model for Modular-Colored Petri Nets; Proceedings of the IEEE Intern. Conf. on Systems, Man and Cybernetics, session on Petri Nets and the O-O Approach, Le Touquet France, October 1993."},{"key":"26_CR3","volume-title":"Computer Applications in Production and Engineering CAPE 91, IFIP","author":"R. Bastide","year":"1991","unstructured":"R. BASTIDE, C. SIBERTIN-BLANC. Modelling flexible manufacturing systems by means of Cooperative Objects. Computer Applications in Production and Engineering CAPE 91, IFIP (G. Doumeingts, J. Browne, M. Tomjanovich Editors, North-Holland); Bordeaux (F), Sept. 1991"},{"key":"26_CR4","unstructured":"R. BASTIDE Cooperative Objects: a formalism for modelling concurrent systems. Thesis of the University Toulouse III, February 1992. (in french)."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"E. BATTISTON, F. DE CINDIO, G. MAURI. OBJSA net: a class of high-level nets having objects as domains. ATPN 87, LNCS 340, 1988.","DOI":"10.1007\/3-540-50580-6_22"},{"key":"26_CR6","unstructured":"B. BAUMGARTEN On internal and external characterization of PT-net building bloc behaviour; Advances in Petri Nets 88, LNCS 340."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"G. BRUNO, M. BALSAMO Petri Net based object-oriented modelling of distributed systems. Proceedings OOPSALA' 86, Sept. 1986.","DOI":"10.1145\/28697.28725"},{"key":"26_CR8","unstructured":"D. BUCHS, N. GERFI. C0-OPN: a concurrent object oriented approach. ATPN91, LNCS 524, 1991."},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"D. De CHAMPEAUX Object-Oriented analysis and Top-Down software development ECOOP'91, LNCS 512, Springer-Verlag, 1991.","DOI":"10.1007\/BFb0057032"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"R. DI GIOVANNI HOOD Nets; ATPN 91, LNCS 524, 1991.","DOI":"10.1007\/BFb0019973"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"H. EHRIG, B. MAHR Fundamentals of algebraic specification. Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"C. A. ELLIS, G. J. NUTT Modeling and Enactment of Workflow Systems. ATPN'93 Chicago (Il.), LNCS 691, 1993.","DOI":"10.1007\/3-540-56863-8_36"},{"key":"26_CR13","unstructured":"GENRICH H. J. Predicate\/Transition Nets; in Petri Nets: Applications and relationships to other models of concurrency (W. Brauer, W. Reisig, G. Rosenberg editor), LNCS 254, Springer"},{"key":"26_CR14","unstructured":"C.A. HEUSER, E. MEIRA PERES. ER-T Diagrams: An approach to specifying database Transactions. 8th Conf. on Entity-Relationship Approach, 1991."},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"HUBER P., JENSEN K., SHAPIRO R. M. Hierarchies in Coloured Petri nets. APN 1990, LNCS 483, Springer.","DOI":"10.1007\/978-3-642-84524-6_7"},{"key":"26_CR16","unstructured":"B. MEYER Object-Oriented Sogtware Construction, seceond ed. Prentice-Hall, 1993."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"P. PALANQUE, R. BASTIDE, L. DOURTE, C. SIBERTIN-BLANC Design of User-Driven Interfaces Using Petri Nets and Objects. Proc. CAISE'93, Conf. on Advanced Information System Engineering, LNCS 685, Paris (F), June 1993.","DOI":"10.1007\/3-540-56777-1_30"},{"key":"26_CR18","unstructured":"J. RUMBAUGH, M.BLAHA, W. PREMERLANI, F. EDDY, W. LORENSEN Object-Oriented Modeling and Design Prentice-Hall, 1991."},{"key":"26_CR19","unstructured":"C. SIBERTIN-BLANC High level Petri nets with data structure. 6th European workshop on Theory and applications of Petri Nets. Espoo (Finland) june 1985."},{"key":"26_CR20","volume-title":"The Object-Oriented approach in Information Systems","author":"C. Sibertin-Blanc","year":"1991","unstructured":"C. SIBERTIN-BLANC Cooperative Objects for the conceptual modelling of organizational Information Systems. The Object-Oriented approach in Information Systems. Quebec 28\u201331 October 1991. Elsevier Science Publisher B.V. \u00a9 IFIP."},{"key":"26_CR21","unstructured":"C. SIBERTIN-BLANC A functional semantics of Petri Nets with Objects. CERISS Internal report, dec. 1992."},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"C. SIBERTIN-BLANC A client-server protocol for the Composition of Petri Nets. ATPN'93, LNCS 691, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56863-8_57"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"M. SONNENSCHEIN An Introduction to GINA. Proceedings of the IEEE Intern. Conf. on Systems, Man and Cybernetics, session on Petri Nets and the O-O Approach, Le Touquet (F), October 1993.","DOI":"10.1109\/ICSMC.1993.384959"},{"key":"26_CR24","unstructured":"Y. SOUISSI On Liveness Preservation by composition of Nets via a set of places; 11th nternational Conference on applications and theory of Petri Nets, Paris, June 90."},{"key":"26_CR25","unstructured":"R. VALETTE, M. PALUDETTO, B. P. LABREUILLE, P. FARAIL Object-Oriented approach HOOD and Petri nets for real time system design. Proc. Intern. Conf. Software Engineering & its Applications, Toulouse (F), Dec. 1988."},{"key":"26_CR26","unstructured":"R. VALK Nets in Computer Organization. in Petri nets: Applications and relationships to other models of concurrency. W. Brauer, W. Reisig, G. Rosenberg editor, LNCS 255, Springer Verlag 19986."},{"key":"26_CR27","unstructured":"K.M. VAN HEE, P.A.C. VERKOULEN Integration of a Data Model and High-Level Petri Nets. ATPN 91, LNCS 524, 1991."},{"key":"26_CR28","unstructured":"J. VAUTHERIN Parallel system specification with coloured Petri Nets and algebraic specification. APN 87, LNCS 266."},{"key":"26_CR29","doi-asserted-by":"crossref","unstructured":"W. VOGLER Modular Construction and Partial Order Semantics of Petri Nets; Report Techn. Univ. M\u00fcnchen, 1991.","DOI":"10.1007\/3-540-55767-9"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:20:51Z","timestamp":1742595651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}