{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:06Z","timestamp":1725487026848},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425229"},{"type":"electronic","value":"9783540447436"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44743-1_22","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T02:23:38Z","timestamp":1183083818000},"page":"226-231","source":"Crossref","is-referenced-by-count":2,"title":["Experimental Version of Parallel Programs Translator from Petri Nets to C++"],"prefix":"10.1007","author":[{"given":"E. A.","family":"Golenkov","sequence":"first","affiliation":[]},{"given":"A. S.","family":"Sokolov","sequence":"additional","affiliation":[]},{"given":"G. V.","family":"Tarasov","sequence":"additional","affiliation":[]},{"given":"D. I.","family":"Kharitonov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"22_CR1","volume-title":"Petri Nets","author":"V.E. Kotov","year":"1984","unstructured":"Kotov V.E. Petri Nets.-Moscow: Science, 1984."},{"key":"22_CR2","volume-title":"Interactive consecutive processes","author":"C. Hoar","year":"1989","unstructured":"Hoar C. Interactive consecutive processes.-Moscow: World, 1989."},{"key":"22_CR3","series-title":"Parallel Computing Technologies","first-page":"440","volume-title":"a Specification Language for Distributed and Concurrent Systems","author":"N. A. Anisimov","year":"1991","unstructured":"Anisimov N A: A Petri Net Entity as a Formal Model for LOTOS, a Specification Language for Distributed and Concurrent Systems. In: Mirenkov N.N. (ed) Parallel Computing Technologies, World Scientific, Singapore New Jersey London Hong Kong 1991, pp 440\u2013450"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Anisimov N.A., Koutny M. On Compositionality and Petri Nets in Protocol Engineering. In: In: Dembi\u0144ski P, \u015aredniawa M (eds.), Protocol Specification, Testing and Verification, XV. Chapman & Hall, pp. 71\u201386, 1996.","DOI":"10.1007\/978-0-387-34892-6_5"},{"key":"22_CR5","unstructured":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts K. Jensen, Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997."},{"key":"22_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/3-540-08921-7_55","volume-title":"MFCS\u201978","author":"V. E. Kotov","year":"1978","unstructured":"Kotov V E: An Algebra for Parallelism Based on Petri nets. MFCS\u201978, Lect Notes Comput Sci, vol 64. Springer, Berlin Heidelberg New York 1978, pp 39\u201355"},{"key":"22_CR7","unstructured":"Meeting on XML\/SGML based Interchange Formats for Petri Nets. Web page. Available on \n                    http:\/\/www.daimi.au.dk\/pn2000\/Interchange\n                    \n                  ."},{"key":"22_CR8","unstructured":"Melnikov V.E., Kharitonov D.I. On application of coloured access points for specification of autonomous vehichle. Th.: Third siberian congress on applied an industrial mathematics. INPRIM-98, Novosibirsk, 1998."},{"key":"22_CR9","unstructured":"N.A. Anisimov, A.A. Kovalenko, G.V. Tarasov, A.V. Inzartsev, A.Ph. Scherbatyuk. A Graphical Environment for AUV Mission Programming and Verification. UUST\u201997, USA, 1997."},{"key":"22_CR10","volume-title":"Marine Technologies","author":"N.A. Anisimov","year":"1998","unstructured":"N.A. Anisimov, V.E. Melnikov, G.V. Tarasov, D.I. Kharitonov, P.V. Khrolenko, U.V. Vaulin, A.V. Inzartsev, A.Ph. Scherbatyuk. The using graphical language for AUV mission specification. Marine Technologies, Vladivostok, \u201dDalnauka\u201d, 1998"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44743-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T09:15:19Z","timestamp":1550394919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44743-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425229","9783540447436"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44743-1_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}