{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:45:31Z","timestamp":1767339931737},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_71","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:51Z","timestamp":1330209171000},"page":"295-312","source":"Crossref","is-referenced-by-count":8,"title":["Strong bisimilarity on nets revisited"],"prefix":"10.1007","author":[{"given":"C.","family":"Autant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Belmesk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ph.","family":"Schnoebelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"17_CR1","volume-title":"Strong Bisimilarity on Nets Revisited","author":"C. Autant","year":"1991","unstructured":"C. Autant, Z. Belmesk, and Ph. Schnoebelen. Strong Bisimilarity on Nets Revisited. Research Report, LIFIA-IMAG, Grenoble, 1991."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, A. Kiehn, and L. Pomello. Concurrent bisimulations in Petri nets. September 1990. To appear in Acta Informatica.","DOI":"10.1007\/BF01178506"},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BFb0013021","volume":"354","author":"J. A. Bergstra","year":"1989","unstructured":"J. A. Bergstra and J. W. Klop. Process theory based on bisimulation semantics. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, LNCS 354, pages 50\u2013122, Springer-Verlag, 1989.","journal-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, LNCS"},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"P. Degano, R. De Nicola, and U. Montanari. A distributed operational semantics for CCS based on condition\/event systems. Acta Informatica, 26:59\u201391, 1988.","journal-title":"Acta Informatica"},{"key":"17_CR5","unstructured":"R. Devillers. Maximality Preserving Bisimulation. Tech. Report LIT-214, Lab. Informatique Th\u00e9orique, Universit\u00e9 Libre de Bruxelles, March 1990."},{"key":"17_CR6","first-page":"339","volume":"324","author":"U. Goltz","year":"1988","unstructured":"U. Goltz. On representing CCS programs by finite Petri nets. In Proc. Math. Found. Computer Science, LNCS 324, pages 339\u2013350, Springer-Verlag, 1988.","journal-title":"Proc. Math. Found. Computer Science, LNCS"},{"key":"17_CR7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-13883-8_66","volume":"181","author":"M. Nielsen","year":"1984","unstructured":"M. Nielsen and P. S. Thiagarajan. Degrees of non-determinism and concurrency: a Petri net view. In Proc. 4th Conf. on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India, LNCS 181, pages 89\u2013117, Springer-Verlag, December 1984.","journal-title":"Proc. 4th Conf. on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India, LNCS"},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-18086-9_27","volume":"266","author":"E.-R. Olderog","year":"1987","unstructured":"E.-R. Olderog. Operational Petri net semantics for CCSP. In Advances in Petri Nets 1987, LNCS 266, pages 196\u2013223, Springer-Verlag, 1987.","journal-title":"Advances in Petri Nets 1987, LNCS"},{"key":"17_CR9","unstructured":"E.-R. Olderog. Nets, terms and formulas: three views of concurrent processes and their relationship. Habilitationsschrift, Christian-Albrechts-Univ. Kiel, July 1989."},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/BFb0013035","volume":"354","author":"E.-R. Olderog","year":"1989","unstructured":"E.-R. Olderog. Strong bisimilarity on nets: a new concept for comparing net semantics. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, LNCS 354, pages 549\u2013573, Springer-Verlag, 1989.","journal-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, LNCS"},{"key":"17_CR11","first-page":"167","volume":"104","author":"D. Park","year":"1981","unstructured":"D. Park. Concurrency and automata on infinite sequences. In Proc. 5th GI Conf. on Th. Comp. Sci., LNCS 104, pages 167\u2013183, Springer-Verlag, March 1981.","journal-title":"Proc. 5th GI Conf. on Th. Comp. Sci., LNCS"},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BFb0016222","volume":"222","author":"L. Pomello","year":"1985","unstructured":"L. Pomello. Some equivalence notions for concurrent systems. An overview. In Advances in Petri Nets 1985, LNCS 222, pages 381\u2013400, Springer-Verlag, 1985.","journal-title":"Advances in Petri Nets 1985, LNCS"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets. An Introduction. Volume 4 of EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"issue":"4","key":"17_CR14","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"11","author":"A. Rabinovich","year":"1988","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. Behavior structures and nets. Fundamenta Informaticae, 11(4):357\u2013404, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek. The Linear Time \u2014 Branching Time Spectrum. Research Report CSR9029, CWI, July 1990.","DOI":"10.1007\/BFb0039066"},{"key":"17_CR16","first-page":"224","volume":"259","author":"R. J. Glabbeek van","year":"1987","unstructured":"R. J. van Glabbeek and F. Vaandrager. Petri net models for algebraic theories of concurrency. In Proc. PARLE 87, vol. II: Parallel Languages, Eindhoven, LNCS 259, pages 224\u2013242, Springer-Verlag, June 1987.","journal-title":"Proc. PARLE 87, vol. II: Parallel Languages, Eindhoven, LNCS"}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_71.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:39:42Z","timestamp":1640921982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}