{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:44Z","timestamp":1725895364197},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540111894"},{"type":"electronic","value":"9783642683534"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68353-4_42","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:25:56Z","timestamp":1320229556000},"page":"251-257","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Proofs of a Data Transfer Protocol by Predicate\/Transition Nets"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Berthelot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Terrat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","volume-title":"Petri Nets Theory for the Correctness of Protocols Proceedings of the Second Seminar on Distributed Data Sharing Systems","author":"G Berthelot","year":"1981","unstructured":"Berthelot G., Terrat R., Petri Nets Theory for the Correctness of Protocols Proceedings of the Second Seminar on Distributed Data Sharing Systems, Amsterdam, june 1981, R.P. Van de Riet and W. Li twin Editors, North-Holland Pub. Comp."},{"key":"42_CR2","volume-title":"AFCET Congress","author":"G Berthelot","year":"1981","unstructured":"Berthelot G., Terrat R., Utilisation de R\u00e9seaux de Petri \u00e0 pr\u00e9dicats pour la mod\u00e9lisation et la preuve de protocoles de transmission de type HDLC, AFCET Congress September 1981"},{"key":"42_CR3","unstructured":"Bochmann G.V., Gecsei J., A Unified Method for the specification and Verification of Protocols, Proc. of IFIP Congress, Toronto, august 1977, North-Holland Pub. Comp. 1977"},{"key":"42_CR4","first-page":"1980","volume-title":"Lec. Notes in Computer science 84, Brauer W","author":"W Brauer","year":"1979","unstructured":"Brauer W., Proc. of the Advanced Course on General Net Theory of Processes and Systems, Hamburg 1979, Lec. Notes in Computer science 84, Brauer W. ed., Springer Verlag, 1980"},{"key":"42_CR5","volume-title":"Petri Nets for Protocol Modelling and Verification","author":"A Danthine","year":"1977","unstructured":"Danthine A., Petri Nets for Protocol Modelling and Verification, European Symposium on Data Communication, Budapest, october 1977"},{"key":"42_CR6","unstructured":"Ecma, 3 rd Draft of Transport Protocol, ECMA\/TC23\/80\/18"},{"key":"42_CR7","first-page":"70","volume-title":"Semantics of Concurrent Computation, Lec. Notes in Computer Science","author":"HJ Genrich","year":"1978","unstructured":"Genrich H.J., Lautenbach K., The Analysis of Distributed Systems by Means of Predicate\/Transition Nets, in Semantics of Concurrent Computation, Lec. Notes in Computer Science 70, Kahn G. ed. Springer 1978"},{"key":"42_CR8","unstructured":"Open System Architecture Interconnection Reference Model, IS0\/97\/16\/N227"},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"Keller R.M., Formal Verification of Parallel Program, Communication of the ACM, volume 19, number 7, july 1976","DOI":"10.1145\/360248.360251"},{"key":"42_CR10","volume-title":"of the IFIP Congresse","author":"K Lautenbach","year":"1974","unstructured":"Lautenbach K., Schmid H., Use for Petri Nets for Proving Correctness of Concurrent Processes Systems, Proc. of the IFIP Congresse, 1974"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"Merlin P.M., A Methodology for the Design and Implementation of Communication Protocols, IEEE Trans, on Communication, Vol. COM-24, 1976","DOI":"10.1109\/TCOM.1976.1093347"},{"key":"42_CR12","volume-title":"Proc","author":"GJ Nutt","year":"1972","unstructured":"Nutt G.J., Evaluation Nets for Computer System Performance Analysis, AFIPS Conf. Proc. 1972"},{"key":"42_CR13","unstructured":"Pradin B., Un Outil Interactif pour la v\u00e9rification des syst\u00e8mes \u00e0 \u00e9volution parall\u00e8le d\u00e9crits par r\u00e9seaux de Petri, th\u00e8se Docteur-Ing\u00e9nieur, Toulouse, France, december 1979"},{"key":"42_CR14","doi-asserted-by":"crossref","unstructured":"Stenning N.V., A Data Transfer Protocol, Computer Networks, Vol. 1, N 2, 1976","DOI":"10.1016\/0376-5075(76)90015-5"},{"key":"42_CR15","doi-asserted-by":"crossref","unstructured":"Sunshine C.A., Survey of Protocol Definition and Verification Techniques, Computer Networks, Vol. 2, october 1978","DOI":"10.1016\/0376-5075(78)90013-2"}],"container-title":["Informatik-Fachberichte","Application and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68353-4_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:28:14Z","timestamp":1606256894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68353-4_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540111894","9783642683534"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68353-4_42","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}