{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:38:40Z","timestamp":1725705520347},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351785"},{"type":"electronic","value":"9783642351792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35179-2_1","type":"book-chapter","created":{"date-parts":[[2012,11,13]],"date-time":"2012-11-13T21:20:42Z","timestamp":1352841642000},"page":"1-23","source":"Crossref","is-referenced-by-count":4,"title":["The Label Splitting Problem"],"prefix":"10.1007","author":[{"given":"Josep","family":"Carmona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Arnold, A.: Finite Transition Systems. Prentice Hall (1994)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Bernardinello, L., Michelis, G.D., Petruni, K., Vigna, S.: On synchronic structure of transition systems. In: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), pp. 69\u201384 (May 1995)","DOI":"10.1007\/978-1-4471-3078-9_5"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/s10618-011-0226-x","volume":"24","author":"J. Carmona","year":"2012","unstructured":"Carmona, J.: Projection approaches to process mining using region-based techniques. Data Min. Knowl. Discov.\u00a024(1), 218\u2013246 (2012)","journal-title":"Data Min. Knowl. Discov."},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-540-85758-7_26","volume-title":"Business Process Management","author":"J. Carmona","year":"2008","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: A Region-Based Algorithm for Discovering Petri Nets from Event Logs. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 358\u2013373. Springer, Heidelberg (2008)"},{"issue":"3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TC.2009.131","volume":"59","author":"J. Carmona","year":"2009","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded Petri nets. IEEE Transactions on Computers\u00a059(3), 371\u2013384 (2009)","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR6","unstructured":"Cormen, T.H., Stein, C., Rivest, R.L., Leiserson, C.E.: Introduction to Algorithms. McGraw-Hill Higher Education (2001)"},{"issue":"8","key":"1_CR7","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J. Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri nets from finite transition systems. IEEE Transactions on Computers\u00a047(8), 859\u2013882 (1998)","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Desel, J., Esparza, J.: Free-choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol.\u00a040. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511526558"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J. Desel","year":"1996","unstructured":"Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Inf.\u00a033(4), 297\u2013315 (1996)","journal-title":"Acta Inf."},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part I, II. Acta Informatica\u00a027, 315\u2013368 (1990)","journal-title":"Acta Informatica"},{"key":"1_CR11","volume-title":"Concurrent Hardware: The Theory and Practice of Self-Timed Design","author":"M. Kishinevsky","year":"1993","unstructured":"Kishinevsky, M., Kondratyev, A., Taubin, A., Varshavsky, V.: Concurrent Hardware: The Theory and Practice of Self-Timed Design. John Wiley and Sons, London (1993)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, 541\u2013580 (April 1989)","DOI":"10.1109\/5.24143"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.: Elementary transition systems. Theoretical Computer Science\u00a096, 3\u201333 (1992)","journal-title":"Theoretical Computer Science"},{"key":"1_CR14","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Bonn, Institut f\u00fcr Instrumentelle Mathematik (1962) (technical report Schriften des IIM Nr. 3)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (May 2011)","DOI":"10.1007\/978-3-642-19345-3"},{"key":"1_CR17","unstructured":"West, D.B.: Introduction to Graph Theory. Prentice-Hall (1996)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35179-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T03:00:51Z","timestamp":1643598051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35179-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351785","9783642351792"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35179-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}