{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T19:47:31Z","timestamp":1769975251946,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540179450","type":"print"},{"value":"9783540471813","type":"electronic"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17945-3_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:20:33Z","timestamp":1330197633000},"page":"224-242","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":125,"title":["Petri net models for algebraic theories of concurrency"],"prefix":"10.1007","author":[{"given":"Rob","family":"van Glabbeek","sequence":"first","affiliation":[]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"13_CR1","unstructured":"Aalbersberg, IJ.J. & G. Rozenberg, Theory of traces, Technical Report No. 86-16, Institute of Applied Mathematics and Computer Science, University of Leiden, 1986."},{"key":"13_CR2","unstructured":"Baeten, J.C.M. & J.A. Bergstra, Global renaming operators in concrete process algebra, CWI Report CS-R8521, Amsterdam, 1985."},{"key":"13_CR3","unstructured":"Baeten, J.C.M., J.A. Bergstra & J.W. Klop, On the consistency of Koomen's fair abstraction rule, CWI Report CS-R8511, Amsterdam, 1985, to appear in Theor. Comp. Sci."},{"key":"13_CR4","unstructured":"Baeten, J.C.M., J.A. Bergstra & J.W. Klop, An operational semantics for process algebra, CWI Report CS-R8522, Amsterdam, 1985, to appear in: Proc. Banach semester, Warschau 1985, North-Holland."},{"issue":"1\/3","key":"13_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. A. Bergstra","year":"1984","unstructured":"Bergstra, J.A. & J.W. Klop, Process algebra for synchronous communication, Information & Control 60 (1\/3), 1984, pp. 109\u2013137.","journal-title":"Information & Control"},{"key":"13_CR6","unstructured":"Bergstra, J.A. & J.W. Klop, Process Algebra: Specification and Verification in Bisimulation Semantics, In: Proc. CWI Symposium Math. & Comp. Sci. (M. Hazewinkel, J.K. Lenstra & L.G.L.T. Meertens, eds.), North Holland, 1986, pp. 61\u201394."},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J. A. Bergstra","year":"1985","unstructured":"Bergstra, J.A. & J.W. Klop, Algebra of Communicating processes with abstraction, Theor. Comp. Sci. 37(1), 1985, pp. 77\u2013121.","journal-title":"Theor. Comp. Sci."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Boudol, G. & I. Castellani, On the semantics of concurrency: partial orders and transition systems, Rapports de Recherche No 550, INRIA, Centre Sophia Antipolis, 1986.","DOI":"10.1007\/3-540-17660-8_52"},{"key":"13_CR9","first-page":"62","volume":"188","author":"J. Carlier","year":"1985","unstructured":"Carlier, J., Chretienne & C. Girault, Modelling scheduling problems with timed Petri nets, In: Advances in Petri Nets 1984 (G. Rozenberg, ed.), Springer LNCS 188, 1985, pp. 62\u201382.","journal-title":"Springer LNCS"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J. & F.W. Vaandrager, Petri net models for algebraic theories of concurrency, to appear as: CWI Report CS-R87.., Amsterdam, 1987.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"13_CR11","unstructured":"Goltz, U., Building Structured Petri Nets, Arbeitspapiere der GMD 223, Sankt Augustin, 1986."},{"key":"13_CR12","first-page":"196","volume":"172","author":"U. Goltz","year":"1984","unstructured":"Goltz, U. & A. Mycroft, On the relationship of CCS and Petri nets, In: Proc. ICALP 84 (J. Paredaens, ed.), Springer LNCS 172, 1984, pp. 196\u2013208.","journal-title":"Springer LNCS"},{"key":"13_CR13","volume-title":"An Introduction to Philosophical Analysis","author":"J. Hospers","year":"1967","unstructured":"Hospers, J., An Introduction to Philosophical Analysis, second edition, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1967.","edition":"second edition"},{"key":"13_CR14","volume-title":"Concurrent program schemes and their interpretations, Report DAIMI PB-78","author":"A. Mazurkiewicz","year":"1978","unstructured":"Mazurkiewicz, A., Concurrent program schemes and their interpretations, Report DAIMI PB-78, Computer Science Department, Aarhus University, Aarhus, 1978."},{"key":"13_CR15","first-page":"353","volume":"188","author":"A. Mazurkiewicz","year":"1985","unstructured":"Mazurkiewicz, A., Semantics of concurrent systems: a modular fixed-point trace approach, In: Advances in Petri Nets 1984 (G. Rozenberg, ed.), Springer LNCS 188, 1985, pp. 353\u2013375.","journal-title":"Springer LNCS"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Milner, R., A calculus for Communicating Systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., G.D. Plotkin & G. Winskel, Petri nets, event structures and domains, part I. Theor. Comp. Sci., 13(1). 1981, pp. 85\u2013108.","journal-title":"Theor. Comp. Sci."},{"key":"13_CR18","first-page":"89","volume":"181","author":"M. Nielsen","year":"1984","unstructured":"Nielsen, M. & P.S. Thiagarajan, Degrees of Non-Determinism and Concurrency: A Petri Net View, In: Proc. of the 5 th Conf. on Found. of Softw. Techn. and Theor. Comp. Sci. (M. Joseph & R. Shyamasundar, eds.), Springer LNCS 181, 1984, pp. 89\u2013118.","journal-title":"Springer LNCS"},{"key":"13_CR19","first-page":"167","volume":"104","author":"D. M. R. R. Park","year":"1981","unstructured":"Park, D.M.R., Concurrency and automata on infinite sequences, Proc. 5th GI Conference (P. Deussen, ed.), Springer LNCS 104, 1981, pp. 167\u2013183.","journal-title":"Springer LNCS"},{"key":"13_CR20","volume-title":"Kommunikation mit Automaten","author":"C. A. Petri","year":"1962","unstructured":"Petri, C.A., Kommunikation mit Automaten, Schriften des Institutes f\u00fcr Instrumentelle Mathematik, Bonn, 1962."},{"key":"13_CR21","first-page":"381","volume":"222","author":"L. Pomello","year":"1986","unstructured":"Pomello, L., Some equivalence notions for concurrent systems. An overview. In: Advances in Petri Nets 1985 (G. Rozenberg, ed.), Springer LNCS 222, 1986, pp. 381\u2013400.","journal-title":"Springer LNCS"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Pratt, V.R., On the Composition of Processes, Proc. of the 9 th POPL, 1982, pp. 213\u2013223.","DOI":"10.1145\/582153.582177"},{"issue":"1","key":"13_CR23","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. R. Pratt","year":"1986","unstructured":"Pratt, V.R., Modelling Concurrency with Partial Orders, International Journal of Parallel Programming, Vol. 15, No. 1, 1986, pp. 33\u201371.","journal-title":"International Journal of Parallel Programming"},{"key":"13_CR24","first-page":"314","volume":"226","author":"G. M. Reed","year":"1986","unstructured":"Reed, G.M. & A.W. Roscoe, A Timed Model for Communicating Sequential Processes, In: Proc. ICALP 86 (L. Kott, ed.), Springer LNCS 226, 1986, pp. 314\u2013323.","journal-title":"Springer LNCS"},{"key":"13_CR25","unstructured":"Reisig, W., Petri Nets, An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985."},{"key":"13_CR26","first-page":"585","volume":"224","author":"G. Rozenberg","year":"1986","unstructured":"Rozenberg, G. & P.S. Thiagarajan, Petri nets: basic notions, structure, behaviour. In: Current Trends in Concurrency, Overviews and Tutorials (J.W. de Bakker, W.P. de Roever, G. Rozenberg, eds.), Springer LNCS 224, 1986, pp. 585\u2013668.","journal-title":"Springer LNCS"},{"key":"13_CR27","first-page":"561","volume":"140","author":"G. Winskel","year":"1982","unstructured":"Winskel, G., Event structure semantics for CCS and related languages, In: Proc. 9th ICALP (M. Nielsen & E.M. Schmidt, eds.), Springer LNCS 140, 1982, pp. 561\u2013576.","journal-title":"Springer LNCS"},{"key":"13_CR28","first-page":"140","volume":"166","author":"G. Winskel","year":"1984","unstructured":"Winskel, G., A new definition of morphism on Petri net, In: Proc. STACS 84 (M. Fontet, K. Mehlhorn, eds.), Springer LNCS 166, 1984, pp. 140\u2013150.","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","PARLE Parallel Architectures and Languages Europe"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17945-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:35:38Z","timestamp":1742589338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17945-3_13"}},"subtitle":["extended abstract"],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179450","9783540471813"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-17945-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]},"assertion":[{"value":"27 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}