{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:09Z","timestamp":1725663189152},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:17:04Z","timestamp":1330193824000},"page":"413-437","source":"Crossref","is-referenced-by-count":2,"title":["A net model of a local area network protocol"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Voss","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"12","key":"23_CR1","doi-asserted-by":"publisher","first-page":"2497","DOI":"10.1109\/TCOM.1982.1095452","volume":"30","author":"G. Berthelot","year":"1982","unstructured":"Berthelot, G., Terrat, R.: Petri Nets Theory for the Correctness of Protocols. IEEE Trans. Comm., Vol. 30, No. 12, 1982, pp. 2497\u20132505.","journal-title":"IEEE Trans. Comm."},{"key":"23_CR2","unstructured":"Bochman, G.V., Gecsei, J.: A Unified Method for the Specification and Verification of Protocols. Information Processing 77, B. Gilchrist (ed.), IFIP, North-Holland Publ. Comp., 1977, pp. 229\u2013234."},{"volume-title":"Net Theory and Applications. LNCS 84","year":"1980","key":"23_CR3","unstructured":"Brauer, W. (ed.): Net Theory and Applications. LNCS 84, New York, Springer-Verlag, 1980."},{"issue":"5","key":"23_CR4","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/TSE.1983.235261","volume":"SE-9","author":"J. E. Coolahan","year":"1983","unstructured":"Coolahan, J.E., Rossopoulos, N.: Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Trans. Software Eng., Vol. SE-9, No. 5, Sept. 1983, pp. 603\u2013616.","journal-title":"IEEE Trans. Software Eng."},{"key":"23_CR5","unstructured":"Eckert, H., Prinoth, R.: A Method for Analyzing Communication Protocols. GMD-IFV Internal Report, Darmstadt, Dec. 1980."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Genrich, H.J., Lautenbach, K.: System Modelling with High-Level Petri Nets. Theoretical Computer Science 13, North-Holland Publ. Comp., 1981, pp. 109\u2013136.","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"23_CR7","unstructured":"LeLann, G.: Algorithms for Distributed Data Sharing Systems which Use Tickets. Proc. 3rd Berkeley Workshop on Distr. Data Management and Computer Networks, Aug. 1978."},{"issue":"5","key":"23_CR8","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1109\/TSE.1983.235118","volume":"SE-9","author":"R. A. Nelson","year":"1983","unstructured":"Nelson, R.A., Haibt, L.M., Sheridan, P.B.: Casting Petri Nets into Programs. IEEE Trans. Software Eng., Vol. SE-9, No. 5, Sept. 1983, pp. 590\u2013602.","journal-title":"IEEE Trans. Software Eng."},{"key":"23_CR9","unstructured":"Petri, C.A.: Concepts of Net Theory. Math. Found. of Computer Science: Proc. Symp. and Summer School, High Tatras. Math. Inst. Slovak. Acad. of Sciences, 1973, pp. 137\u2013146."},{"key":"23_CR10","unstructured":"Projektgruppe Schnittstellen: Modellierung existierender Schnittstellen mit Netzen. GMD-Studien Nr. 69, GMD, St. Augustin, Sept. 1982."},{"key":"23_CR11","unstructured":"Rudin, H., West, C.H. (eds.): Protocol Specification, Testing and Verification, III. Proc. IFIP WG6.1 3rd Int. Workshop Protocol Specification, Testing and Verification. Armonk, NY, 1983."},{"key":"23_CR12","unstructured":"Schwabe, D.: Formal Techniques for the Specification and Verification of Protocols. UCLA, Los Angeles, Report No. CSD-810401, Apr. 1981."},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1109\/TSE.1980.234502","volume":"SE-6","author":"K. Voss","year":"1980","unstructured":"Voss, K.: Using Predicate\/Transition-Nets to Model and Analyze Distributed Database Systems. IEEE Trans. Software Eng., Vol. SE-6, Nov. 1980, pp. 539\u2013544.","journal-title":"IEEE Trans. Software Eng."},{"key":"23_CR14","unstructured":"Voss, K.: Nets as a Consistent Formal Tool for the Stepwise Design and Verification of a Distributed System. In Hawgood, J. (ed.): Evolutionary Information Systems. North-Holland Publ. Comp., IFIP, 1982, pp. 173\u2013191."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:17Z","timestamp":1605643697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}