{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:17:08Z","timestamp":1743056228344,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676935"},{"type":"electronic","value":"9783540449881"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44988-4_6","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:38:07Z","timestamp":1185917887000},"page":"63-82","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Harro","family":"Wimmel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"key":"6_CR1","first-page":"14","volume":"18","author":"E. Best","year":"1984","unstructured":"E. Best: In Quest of a Morphism. Petri Net Newsletters Vol. 18, pp.14\u201318, 1984.","journal-title":"Petri Net Newsletters"},{"key":"6_CR2","unstructured":"T. Emden-Weinert, S. Hougardy, B. Kreuter, H.J. Pr\u00f6mel, A. Steger: Einf\u00fchrung in Graphen und Algorithmen. Skriptum der Humboldt-Universit\u00e4t Berlin, 1996."},{"key":"6_CR3","first-page":"10","volume":"14","author":"U. Goltz","year":"1983","unstructured":"U. Goltz, U. Vogt: Processes of Relation Nets. Petri Net Newsletters Vol. 14, pp.10\u201319, 1983.","journal-title":"Petri Net Newsletters"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz, W. Reisig: The Non-sequential Behaviour of Petri Nets. Information and Control Vol. 57, pp.125\u2013147, 1983.","journal-title":"Information and Control"},{"issue":"2","key":"6_CR5","first-page":"428","volume":"IV.","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski: On Partial Languages. Annales Societatis Mathematicae Polonae, Fundamenta Informaticae Vol. IV.2, pp.428\u2013498, 1981.","journal-title":"Annales Societatis Mathematicae Polonae, Fundamenta Informaticae"},{"key":"6_CR6","unstructured":"K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992."},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1051\/ita\/1992260100191","volume":"26\/","author":"E. Pelz","year":"1992","unstructured":"E. Pelz: Normalization of Place\/Transition Systems Preserves Net Behaviour. Informatique Th\u00e9orique et Applications Vol. 26\/1, pp.19\u201344, 1992.","journal-title":"Informatique Th\u00e9orique et Applications"},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume-title":"A Survey of Equivalence Notions for Net Based Systems","author":"L. Pomello","year":"1992","unstructured":"L. Pomello, G. Rozenberg, C. Simone: A Survey of Equivalence Notions for Net Based Systems. Lecture Notes in Computer Science Vol. 609, pp.410\u2013472, 1992."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt: Modeling Concurrency with Partial Orders. International Journal of Parallel Processing no. 15, pp.33\u201371, 1986.","journal-title":"International Journal of Parallel Processing"},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","first-page":"406","volume-title":"Proceedings of CONCUR\u201997","author":"L. Priese","year":"1997","unstructured":"L. Priese, H. Wimmel: Algebraic Characterization of Petri Net Pomset Languages. Proceedings of CONCUR\u201997, Lecture Notes in Computer Science Vol. 1243, pp.406\u2013420, 1997."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0304-3975(97)00169-2","volume":"206","author":"L. Priese","year":"1998","unstructured":"L. Priese, H. Wimmel: A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets. Theoretical Computer Science Vol. 206, pp.219\u2013256, 1998.","journal-title":"Theoretical Computer Science"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"W. Reisig: Elements of Distributed Algorithms. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-662-03687-7"},{"key":"6_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-65306-6_16","volume-title":"Principles of High-level Net Theory","author":"E. Smith","year":"1998","unstructured":"E. Smith: Principles of High-level Net Theory. in: Lectures on Petri Nets I, Basic Models, Lecture Notes in Computer Science Vol. 1491, pp.174\u2013210, 1998."},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/S0021-9800(67)80079-6","volume":"3","author":"H. Tverberg","year":"1967","unstructured":"H. Tverberg: On Dilworth\u2019s Decomposition Theorem for Partially Ordered Sets. J. of Combin. Theory Vol. 3, pp.305\u2013306, 1967.","journal-title":"J. of Combin. Theory"},{"key":"6_CR15","unstructured":"H. Wimmel: Algebraische Semantiken f\u00fcr Petri-Netze. Ph.D. Thesis, Universit\u00e4t Koblenz-Landau, 2000."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2000"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44988-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T01:09:30Z","timestamp":1635124170000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44988-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676935","9783540449881"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44988-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"9 June 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}