{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:57Z","timestamp":1725664977906},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631415"},{"type":"electronic","value":"9783540691884"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63141-0_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:09:15Z","timestamp":1330297755000},"page":"406-420","source":"Crossref","is-referenced-by-count":3,"title":["Algebraic characterization of petri net pomset semantics"],"prefix":"10.1007","author":[{"given":"Harro","family":"Wimmel","sequence":"first","affiliation":[]},{"given":"Lutz","family":"Priese","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"E. Best, C. Fernand\u00e9z, \u201cNonsequential Processes: A Petri Net View\u201d, Monographs on Theoretical Computer Science Vol. 13, Springer Verlag, 1988.","DOI":"10.1007\/978-3-642-73483-0_3"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, J.H.A. Warmerdam, \u201cMetric Pomset Semantics for a Concurrent Language with Recursion\u201d, Lecture Notes in Computer Science Vol. 469, Springer Verlag, 1990.","DOI":"10.1007\/3-540-53479-2_2"},{"key":"28_CR3","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1007\/BF03036469","volume":"33","author":"P. Degano","year":"1996","unstructured":"P. Degano, J. Meseguer, U. Montanari, \u201cAxiomatizing the algebra of net computations and processes\u201d, Acta Informatica 33, pp. 641\u2013667, 1996.","journal-title":"Acta Informatica"},{"key":"28_CR4","unstructured":"J. Esparza, \u201cMore infinite results\u201d, Proceedings of INFINITY, First International Workshop on Verification of Infinite State Systems, pp.4\u201320, 1996."},{"key":"28_CR5","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(78)90020-8","volume":"7","author":"S.A. Greibach","year":"1978","unstructured":"S.A. Greibach, \u201cRemarks on Blind and Partially Blind One-Way Multicounter Machines\u201d, Theoretical Computer Science Vol. 7, pp. 311\u2013324, 1978.","journal-title":"Theoretical Computer Science"},{"key":"28_CR6","unstructured":"M. Hack, \u201cPetri Net Languages\u201d, Computation Structures Group Memo 124, Project MAC, M.I.T., 1975."},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"M. Jantzen, \u201cLanguage Theory of Petri Nets\u201d, Lecture Notes in Computer Science Vol. 254, pp. 397\u2013412, Springer Verlag, 1987.","DOI":"10.1007\/978-3-540-47919-2_15"},{"key":"28_CR8","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0304-3975(95)00121-2","volume":"153","author":"J. Meseguer","year":"1996","unstructured":"J. Meseguer, U. Montanari, V. Sassone, \u201cProcess versus unfolding semantics for Place\/Transition Petri nets\u201d, Theoretical Computer Science Vol. 153, pp. 171\u2013210, 1996.","journal-title":"Theoretical Computer Science"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"M. Nielsen, L. Priese, V. Sassone, \u201cCharacterizing Behavioural Congruences for Petri Nets\u201d, Lecture Notes in Computer Science Vol. 962, Proceedings CONCUR '95, eds. I. Lee, S. Smolka, pp. 175\u2013189, 1995.","DOI":"10.1007\/3-540-60218-6_13"},{"issue":"No.3","key":"28_CR10","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J.L. Peterson","year":"1977","unstructured":"J.L. Peterson, \u201cPetri Nets\u201d, Computing Surveys Vol. 9, No. 3, pp. 223\u2013252, 1977.","journal-title":"Computing Surveys"},{"key":"28_CR11","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume":"609","author":"L. Pomello","year":"1992","unstructured":"L. Pomello, G. Rozenberg, C. Simone, \u201cA Survey of Equivalence Notions for Net Based Systems\u201d, Lecture Notes in Computer Science Vol. 609, pp. 410\u2013472, 1992.","journal-title":"Lecture Notes in Computer Science"},{"key":"28_CR12","unstructured":"L. Priese, H. Wimmel, \u201cA Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets\u201d, to appear in Theoretical Computer Science."},{"key":"28_CR13","unstructured":"L. Priese, H. Wimmel, \u201cAn Application of Compositional Petri Net Semantics\u201d, Technical Report, Fachberichte Informatik 14\/96, Institut f\u00fcr Informatik, Fachbereich Informatik, Universit\u00e4t Koblenz"},{"key":"28_CR14","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-55610-9_176","volume":"609","author":"W. Vogler","year":"1992","unstructured":"W. Vogler, \u201cPartial Words versus Processes: A Short Comparison\u201d, Lecture Notes in Computer Science Vol. 609, pp. 292\u2013303, 1992.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","CONCUR '97: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63141-0_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:12Z","timestamp":1605647772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63141-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631415","9783540691884"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-63141-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}