{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T02:16:06Z","timestamp":1725848166728},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319295039"},{"type":"electronic","value":"9783319295046"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29504-6_4","type":"book-chapter","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T05:06:30Z","timestamp":1453957590000},"page":"21-31","source":"Crossref","is-referenced-by-count":1,"title":["Introduction to Integration of the Process Mining to the Knowledge Framework for Software Processes"],"prefix":"10.1007","author":[{"given":"Jakub","family":"Stolfa","sequence":"first","affiliation":[]},{"given":"Svatopluk","family":"Stolfa","sequence":"additional","affiliation":[]},{"given":"Michael Alexander","family":"Kosinar","sequence":"additional","affiliation":[]},{"given":"Vaclav","family":"Snasel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,29]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0925-5273(03)00102-6","volume":"90","author":"Ruth Sara Aguilar-Sav\u00e9n","year":"2004","unstructured":"Aguilar-Saven, R.S.: Business process modelling: review and framework. Int. J. Prod. Econ. 90(2), 129\u2013149 (2004)","journal-title":"International Journal of Production Economics"},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TC.2009.131","volume":"59","author":"Josep Carmona","year":"2010","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded Petri nets. IEEE Trans. Comput. 59(3), 371\u2013384 (2010)","journal-title":"IEEE Trans. Comput."},{"key":"4_CR4","unstructured":"Czopik, J., Ko\u0161in\u00e1r, M.A., \u0160tolfa, J., \u0160tolfa, S.: Addition of static aspects to the intuitive mapping of UML activity diagram to CPN. Adv. Intell. Syst. Comput. 334, 77\u201386 (2015)"},{"key":"4_CR5","unstructured":"Czopik, J., Ko\u0161in\u00e1r, M.A., \u0160tolfa, J., \u0160tolfa, S.: Formalization of software process using intuitive mapping of UML activity diagram to CPN. Adv. Intell. Syst. Comput. 303, 365\u2013374 (2014)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Kosinar, M.A., Czopik, J., \u0160tolfa, J., Penhaker, M.: Knowledge framework for clinical processes architecture and analysis. In: 13th International Symposium on Applied Machine Intelligence and Informatics (SAMI 2015), Herl\u2019any, Slovakia (2015)","DOI":"10.1109\/SAMI.2015.7061894"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Kosinar, M.A., Czopik, J., \u0160tolfa, J.: Formal knowledge framework for software processes architecture. Front. Artif. Intell. Appl. EJC 2015 (2015)","DOI":"10.1109\/SAMI.2015.7061894"},{"key":"4_CR8","unstructured":"Kosinar, M.A., Stolfa, J., Stolfa, S.: Knowledge support for software processes. Front. Artif. Intell. Appl. 272, 205\u2013223 (2014)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"\u0160tolfa, J., \u0160tolfa, S., Ko\u017eusznik, J., Moudr\u00e1, T.: Business process formal modeling in graphical ontology tool\u2014Functional view. In: Proceedings of the International Conference on Management of Emergent Digital EcoSystems, MEDES, pp. 187\u2013188 (2012)","DOI":"10.1145\/2457276.2457312"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Van Der Aalst, W.M.P.: Process mining in the large: a tutorial. Bus. Intell. 33\u201376 (2014)","DOI":"10.1007\/978-3-319-05461-2_2"},{"issue":"3","key":"4_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.compind.2003.10.001","volume":"53","author":"Wil MP Aalst Van Der","year":"2004","unstructured":"Van Der Aalst, W.M.P., Weijters, A.J.M.M.: Process mining: a research agenda. Comput. Ind. 53(3), 231\u2013244 (2004)","journal-title":"Comput. Ind."},{"issue":"9","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"Wil Aalst Van Der","year":"2004","unstructured":"Van Der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29504-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T07:55:10Z","timestamp":1559375710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29504-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319295039","9783319295046"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29504-6_4","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}