{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:48:48Z","timestamp":1767340128102},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556763"},{"type":"electronic","value":"9783540472704"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55676-1_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:30:58Z","timestamp":1330252258000},"page":"45-61","source":"Crossref","is-referenced-by-count":9,"title":["Place bisimulations in Petri nets"],"prefix":"10.1007","author":[{"given":"C.","family":"Autant","sequence":"first","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,5,27]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"C. Autant, Z. Belmesk, and Ph. Schnoebelen. Strong bisimilarity on nets revisited (extended abstract). In Proc. PARLE'91, vol. II: Parallel Languages, Eindhoven, LNCS 506, pages 295\u2013312. Springer-Verlag, June 1991.","DOI":"10.1007\/3-540-54152-7_71"},{"key":"3_CR2","volume-title":"Research Report 847-1","author":"C. Autant","year":"1991","unstructured":"C. Autant, Z. Belmesk, and Ph. Schnoebelen. Strong bisimilarity on nets revisited. Research Report 847-1, LIFIA-IMAG, Grenoble, March 1991."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"G. Boudol and I. Castellani. On the semantics of concurrency: Partial orders and transition systems. In Proc. CAAP'87, Pisa, LNCS 249, pages 123\u2013137. Springer-Verlag, March 1987.","DOI":"10.1007\/3-540-17660-8_52"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E. Best and R. Devillers. Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science, 55:87\u2013136, 1987.","journal-title":"Theoretical Computer Science"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"J. Bradfield and C. Stirling. Verifying temporal properties of processes. In Proc. CONCUR'90, Amsterdam, LNCS 458, pages 115\u2013125. Springer-Verlag, August 1990.","DOI":"10.1007\/BFb0039055"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"U. Goltz. On representing CCS programs by finite Petri nets. In Proc. Math. Found. Comp. Sci. LNCS 324, pages 339\u2013350. Springer-Verlag, 1988.","DOI":"10.1007\/BFb0017157"},{"key":"3_CR7","unstructured":"H. Garavel and J. Sifakis. Compilation and verification of LOTOS specifications. In Proc. 10th IFIP Conf. Protocol Specification, Testing and Verification, Ottawa, June 1990."},{"key":"3_CR8","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"3_CR9","doi-asserted-by":"crossref","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 Theor. Comp. Sci. Bangalore, India, LNCS 181, pages 89\u2013117. Springer-Verlag, December 1984.","DOI":"10.1007\/3-540-13883-8_66"},{"key":"3_CR10","doi-asserted-by":"crossref","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.","DOI":"10.1007\/BFb0013035"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog. Nets, Terms and Formulas, volume 23 of Cambridge Tracts in Theoretical Computer Science. Cambridge Univ. Press, 1991.","DOI":"10.1017\/CBO9780511526589"},{"key":"3_CR12","doi-asserted-by":"crossref","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.","DOI":"10.1007\/BFb0017309"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. R. Pratt","year":"1986","unstructured":"V. R. Pratt. Modeling concurrency with partial orders. Int. J. Parallel Programming, 15(1):33\u201371, 1986.","journal-title":"Int. J. Parallel Programming"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"W. Vogler. Bisimulation and action refinement. In Proc. STACS'91, Hamburg, LNCS 480, pages 309\u2013321. Springer-Verlag, February 1991.","DOI":"10.1007\/BFb0020808"},{"key":"3_CR15","unstructured":"W. P. Weijland. Synchrony and Asynchrony in Process Algebra. PhD thesis, Univ. Amsterdam, June 1989."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55676-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:19:36Z","timestamp":1687285176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55676-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556763","9783540472704"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-55676-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}