{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:07:25Z","timestamp":1775052445953,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540089216","type":"print"},{"value":"9783540357575","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_55","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:37:28Z","timestamp":1330169848000},"page":"39-55","source":"Crossref","is-referenced-by-count":27,"title":["An algebra for parallelism based on petri nets"],"prefix":"10.1007","author":[{"given":"V. E.","family":"Kotov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"4_CR1","volume-title":"Advances in Information Systems Sciences, 6","author":"A. S. Narinyani","year":"1976","unstructured":"Narinyani, A.S. Theory of parallel programming: Formal Models, Advances in Information Systems Sciences, 6, Plenum Press, New York, 1976."},{"key":"4_CR2","unstructured":"Mazurkiewicz, A. Invariants of Concurrent Programs, Infopol Conference Proc., Warsaw, 1976."},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0020-0190(77)90021-7","volume":"6","author":"T. Winkowski","year":"1977","unstructured":"Winkowski, T. On Algebraic Characterization of the Behavior of Non-Sequential Systems, Information Processing Letters, 6, No. 4, 1977, 105\u2013109.","journal-title":"Information Processing Letters"},{"key":"4_CR4","unstructured":"Campbell, R.H., Habermann, A.N. The Specification of Process Synchronization by Path Expressions, Springer Lecture Notes on Computer Science, 16, Berlin, 1974."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Lauer, P.E., Campbell, R.H. Formal Semantics for a Class of High-level Primitives for Coordinating of Concurrent Processes, Acta Informatica, No. 5, 1975, 297\u2013332.","DOI":"10.1007\/BF00264564"},{"key":"4_CR6","first-page":"247","volume":"9","author":"P. Ledanois","year":"1977","unstructured":"Ledanois, P. et.al. Multilevel Description and Simulation of Parallel Cooperating Processes, Arbeitsberichte der IMMD, 9, 1977, 247\u2013275.","journal-title":"Arbeitsberichte der IMMD"},{"key":"4_CR7","volume-title":"Quality Software","author":"V. E. Kotov","year":"1978","unstructured":"Kotov, V.E. Concurrent Programming with Control Types, Quality Software, North-Hall. Publishing Co., Amsterdam, 1978."},{"key":"4_CR8","unstructured":"Kotov, V.E., Narinyani, A.S. Asynchronous Computational Processes on Common Memory, Kibernetika, No. 3, Kiev, 1966 (in Russian)."},{"key":"4_CR9","unstructured":"Kotov, V.E. An Algebra of Regular Nets, Computing Center Reprint No 98, Novosibirsk, 1978 (in Russian)."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Sacerdate, G.S., Tenney, R.I. The Decidability of the Reachability Problem for Vector Addition Systems, COINS Techn. Report FF-3, University of Massachusetts, 1977.","DOI":"10.1145\/800105.803396"},{"key":"4_CR11","first-page":"55","volume-title":"Record of the Project MAC Conference on Concurrent Systems and Parallel Computation","author":"T. B. Dennis","year":"1970","unstructured":"Dennis, T.B. Modular Asynchronous Control Structures for a High Performance Processor, Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, ACM, N.Y., 1970, 55\u201380."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-07168-7_76","volume-title":"Advanced Course in Software Engineering","author":"T. B. Dennis","year":"1973","unstructured":"Dennis, T.B. Concurrency in Software Systems, Advanced Course in Software Engineering, Springer-Verlag, Berlin, 1973, 111\u2013127."},{"key":"4_CR13","volume-title":"Petri Net Languages","author":"M. Hack","year":"1976","unstructured":"Hack, M. Petri Net Languages, TR 159, MIT Lab. Computer Science, Cambridge, Mass., 1976."},{"issue":"1","key":"4_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-0000(76)80047-5","volume":"13","author":"T. L. Peterson","year":"1976","unstructured":"Peterson, T.L. Computation Sequence Sets, J. Comput. System Science, 13, No. 1, 1976, 1\u201324.","journal-title":"J. Comput. System Science"},{"key":"4_CR15","volume-title":"Computer Structures Group Memo 5F","author":"S. S. Patil","year":"1971","unstructured":"Patil, S.S. Limitations and Capabilities of Dijkstra's Semaphore Primitives for Coordination among Processes, Computer Structures Group Memo 5F, MIT Project MAC, Cambridge, 1971."},{"key":"4_CR16","first-page":"81","volume-title":"Proc. 1st Annual Symp. Computer Architecture","author":"T. Agerwala","year":"1973","unstructured":"Agerwala, T., Flynn, M. Comments on Capabilities, Limitations and Correctness of Petri Nets, Proc. 1st Annual Symp. Computer Architecture, ACM, N.Y., 1973, 81\u201386."},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"T. L. Peterson","year":"1977","unstructured":"Peterson, T.L. Petri Nets, ACM Computing Surveys, 9, No. 3, 1977, 223\u2013252","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:56:18Z","timestamp":1619542578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978]]}}}