{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:09Z","timestamp":1725664029280},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:42:29Z","timestamp":1330256549000},"page":"377-396","source":"Crossref","is-referenced-by-count":17,"title":["A client-server protocol for the composition of Petri nets"],"prefix":"10.1007","author":[{"given":"C.","family":"Sibertin-Blanc","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"P. Huber, K. Jensen, R. M. Shapiro. Hierarchies in coloured Petri nets. APN 1990, LNCS 483.","key":"22_CR1","DOI":"10.1007\/978-3-642-84524-6_7"},{"unstructured":"B. Meyer. Object-Oriented Software Construction; Prentice Hall, 1988","key":"22_CR2"},{"unstructured":"B. Baumgarten. On internal and external characterization of PT-net building bloc behaviour; Advances in Petri Nets 88, LNCS 340","key":"22_CR3"},{"doi-asserted-by":"crossref","unstructured":"A. Maggiolo-Schetteni, J. Winkowski. A compositional semantics for timed Petri Nets; Fundamente Informaticae XIII, IOS Press, 1990","key":"22_CR4","DOI":"10.3233\/FI-1990-13203"},{"key":"22_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R. Valette","year":"1979","unstructured":"R. Valette. Analysis of Petri nets by stepwise refinements; Journal of Computer and System Science 18, 3; 1979","journal-title":"Journal of Computer and System Science"},{"doi-asserted-by":"crossref","unstructured":"C. Andr\u00e9. Behaviour of a place-transition net on a subset of transition. Informatik-Fachberichte 52, Springer 1982","key":"22_CR6","DOI":"10.1007\/978-3-642-68353-4_22"},{"doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, C. Simone. Superposed automata nets; Informatik-Fachberichte 52, Springer 1982","key":"22_CR7","DOI":"10.1007\/978-3-642-68353-4_44"},{"doi-asserted-by":"crossref","unstructured":"W. Vogler. Asynchronous communication of Petri nets and the refinement of transitions; Report TUM I9112, Inst. Informatik, Techn. Univ. M\u00fcnchen, 1991","key":"22_CR8","DOI":"10.1007\/3-540-55719-9_108"},{"unstructured":"R. Bastide, C. Sibertin-Blanc. Object-oriented design of parallel systems. 2nd International Workshop on Software Engineering and its Applications; Toulouse (France), Dec. 1989","key":"22_CR9"},{"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 (F3), Sept. 1991","key":"22_CR10"},{"unstructured":"C. Sibertin-Blanc. Cooperative Objects for the conceptual modelling of organizational information systems. The Object-Oriented Approach in Information Systems, IFIP TC8 Conf.; Quebec, 28\u201331 Oct. 1991","key":"22_CR11"},{"unstructured":"R. Bastide, P. Palanque. Modelisation de l'interface d'un logiciel de groupe par objets cooperatifs; 3\u00e8me journ\u00e9es sur l'ing\u00e9nierie des IHM, dec 91, Dourdan, France","key":"22_CR12"},{"unstructured":"II. J. Genrich. 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":"22_CR13"},{"unstructured":"C. Sibertin-Blanc. Analysis of Petri nets communicating through a client-server protocol. Technical report of University Toulouse 1, 1992","key":"22_CR14"},{"unstructured":"Y. Souissi, G. Memmi. Composition of nets via a communication medium. 10th International Conference on Applications and Theory of Petri Nets, Bonn, June 1989","key":"22_CR15"},{"doi-asserted-by":"crossref","unstructured":"R. Van Glabbeek, U. Goltz. Equivalence notions for concurrent systems and refinement of actions; MFCS 89, LNCS 379, 1989","key":"22_CR16","DOI":"10.1007\/3-540-51486-4_71"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:03:05Z","timestamp":1640926985000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}