{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:58:28Z","timestamp":1773615508621,"version":"3.50.1"},"reference-count":34,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.3103\/s0146411621070282","type":"journal-article","created":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T09:15:43Z","timestamp":1643706943000},"page":"847-865","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["VTMine for Visio: A Graphical Tool for Modeling in Process Mining"],"prefix":"10.3103","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8173-5970","authenticated-orcid":false,"given":"S. A.","family":"Shershakov","sequence":"first","affiliation":[]}],"member":"1627","published-online":{"date-parts":[[2022,2,1]]},"reference":[{"key":"7411_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"W.M.P. Van der Aalst","year":"2011","unstructured":"Van der Aalst, W.M.P., Process Mining: Discovery, Conformance and Enhancement of Business Processes, Berlin: Springer-Verlag, 2011. \u00a0https:\/\/doi.org\/10.1007\/978-3-642-19345-3"},{"key":"7411_CR2","unstructured":"Mistyuk, A., Kalenkova, A., Shershakov, S., and van der Aalst, W., Using process mining for the analysis of an e-trade system: A case study, Biznes-Inf., 2014, no. 3, pp. 15\u201327."},{"key":"7411_CR3","doi-asserted-by":"publisher","unstructured":"Rubin, V., Lomazova, I., and van der Aalst, W.M.P., Agile development with software process mining, in Proc. 2014 Int. Conf. on Software and System Process, Nanjing, China, 2014, New York: Association for Computing Machinery, 2014, pp. 70\u201374. \u00a0https:\/\/doi.org\/10.1145\/2600821.2600842","DOI":"10.1145\/2600821.2600842"},{"key":"7411_CR4","doi-asserted-by":"publisher","unstructured":"Rubin, V.A., Mitsyuk, A.A., Lomazova, I.A., and van der Aalst, W.M.P., Process Mining can be applied to software too!, Proc. 8th ACM\/IEEE Int. Symp. on Empirical Software Engineering and Measurement, Torino, Italy, 2014, New York: Association for Computing Machinery, 2014, p. 57. \u00a0https:\/\/doi.org\/10.1145\/2652524.2652583","DOI":"10.1145\/2652524.2652583"},{"key":"7411_CR5","doi-asserted-by":"publisher","unstructured":"Mans, R.S., Schonenberg, M.H., Song, M., van der Aalst, W.M.P., and Bakker, P.J.M., Application of process mining in healthcare \u2013 A case study in a Dutch hospital, in Biomedical Engineering Systems and Technologies. BIOSTEC 2008, Fred, A., Filipe, J., and Gamboa, H., Eds., Communication in Computer and Information Science, vol. 25, Berlin: Springer, 2009, pp. 425\u2013438. \u00a0https:\/\/doi.org\/10.1007\/978-3-540-92219-3_32","DOI":"10.1007\/978-3-540-92219-3_32"},{"key":"7411_CR6","doi-asserted-by":"publisher","unstructured":"Mans, R.S., van der Aalst, W.M.P., Vanwersch, R.J.B., and Moleman, A.J., Process mining in healthcare: Data challenges when answering frequently posed questions, in Process Support and Knowledge Representation in Health Care. ProHealth 2012, KR4HC 2012, Lenz, R., Miksch, S., Peleg, M. Reichert, M., Ria\u00f1o, D., and ten Teije, A., Eds., Lecture Notes in Computer Science, vol. 7738, Berlin: Springer, 2013, pp. 140\u2013153. https:\/\/doi.org\/10.1007\/978-3-642-36438-9_10.","DOI":"10.1007\/978-3-642-36438-9_10"},{"key":"7411_CR7","unstructured":"Visio website. https:\/\/products.office.com\/en-us\/visio\/flowchart-software."},{"key":"7411_CR8","unstructured":"Kebede, M., Comparative evaluation of process mining tools, Master\u2019s Thesis, Tartu: Univ. of Tartu, 2015."},{"key":"7411_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.5824\/1309-1581.2018.4.007.x","volume":"9","author":"U. \u00c7elik","year":"2018","unstructured":"\u00c7elik, U. and Ak\u00e7etin, E., Process mining tools comparison, Online Acad. J. Inf. Technol., 2018, vol. 9, no. 34, pp. 97\u2013104. \u00a0https:\/\/doi.org\/10.5824\/1309-1581.2018.4.007.x","journal-title":"Online Acad. J. Inf. Technol."},{"key":"7411_CR10","first-page":"34","volume":"615","author":"H. Verbeek","year":"2010","unstructured":"Verbeek, H., Buijs, J., van Dongen, B., van der Aalst, W., ProM 6: The process mining toolkit, in Proc. BPM Demonstation Track, CEUR Workshop Proc., vol. 615, 2010, pp. 34\u201339.","journal-title":"CEUR Workshop Proc."},{"key":"7411_CR11","unstructured":"Mans, R.S., van der Aalst, W.M.P., and Verbeek, H.M.W., Supporting process mining workflows with RapidProM, Proc. BPM Demo Sessions, \n               2014, 2014, vol. 56."},{"key":"7411_CR12","doi-asserted-by":"publisher","unstructured":"Shershakov, S.A., DPMine\/P: modeling and process mining language and ProM plug-ins, in Proc. 9th Central & Eastern European Software Engineering Conf. in Russia, Moscow, 2013, New York: Association for Computing Machinery, 2013, p. 2. \u00a0https:\/\/doi.org\/10.1145\/2556610.2556622","DOI":"10.1145\/2556610.2556622"},{"key":"7411_CR13","unstructured":"Fluxicon. http:\/\/.uxicon.com\/disco."},{"key":"7411_CR14","unstructured":"Celonis. www.celonis.com."},{"key":"7411_CR15","unstructured":"Minit. www.minit.io."},{"key":"7411_CR16","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., and Yakovlev, A., Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers, IEICE Trans. Inf. Syst., 1997, vol. E80-D, no. 3, pp. 315\u2013325.","journal-title":"IEICE Trans. Inf. Syst."},{"key":"7411_CR17","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., and Lavagno, L., Introduction to asynchronous circuitdesign: specification and synthesis (tutorial), in Proc. 6th Int. Symp. on Advanced Research in Asynchronous Circuits and Systems, Eilat, Israel, 2000."},{"key":"7411_CR18","doi-asserted-by":"publisher","unstructured":"Sol\u00e9, M. and Carmona, J., Rbminer: A tool for discovering Petri nets from transition systems, in Automated Technology for Verification and Analysis. ATVA 2010, Boujjani, A. and Chin, W.N., Eds., Lecture Notes in Computer Science, vol. 6252, Berlin: Springer, 2010.\u00a0https:\/\/doi.org\/10.1007\/978-3-642-15643-4_33","DOI":"10.1007\/978-3-642-15643-4_33"},{"key":"7411_CR19","doi-asserted-by":"publisher","unstructured":"Carmona, J., Cortadella, J., and Kishinevsky, M., Genet: A tool for the synthesis and mining of Petri nets, in Ninth Int. Conf. on Application of Concurrency to System Design, Augsburg, Germany, 2009, IEEE, 2009, pp.\u00a0181\u2013185. \u00a0https:\/\/doi.org\/10.1109\/ACSD.2009.6","DOI":"10.1109\/ACSD.2009.6"},{"key":"7411_CR20","unstructured":"Carmona Vargas, J. and Sol\u00e9, M., PMLAB: An scripting environment for process mining, Proc. BPM Demo Sessions 2014: Co-Located with the 12th Int. Conf. on Business Process Management (BPM 2014), Eindhoven, The Netherlands, 2014, Haifa: CEUR-WS.org, 2014, pp. 16\u201320. http:\/\/hdl.handle.net\/2117\/26167."},{"key":"7411_CR21","unstructured":"Berti, A., van Zelst, S.J., and van der Aalst, W., Process mining for python (PM4Py): Bridging the gap between process- and data science, 2019. arXiv:1905.06169 [cs.SE]"},{"key":"7411_CR22","unstructured":"Janssenswillen, G. and Depaire, B., bupaR: Business process analysis in R, in Proc. BPM Demo Track and BPM Dissertation Award Co-Located with 15th Int. Conf. on Business Process Management (BPM 2017), Barcelona, 2017, Claris\u00f3, R., Leopold, H., Mendling, J., van der Aalst, W., Kumar, A., Pentland, B., and Weske, M., Eds., CEUR Workshop Proceedings, 2017, vol. 1920."},{"key":"7411_CR23","volume-title":"Cooperating Sequential Processes","author":"E.W. Dijkstra","year":"1965","unstructured":"Dijkstra, E.W., Cooperating Sequential Processes, Eindhoven: Technological Univ., 1965."},{"key":"7411_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies","author":"W. Reisig","year":"2013","unstructured":"Reisig, W., Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies, Berlin: Springer, 2013. \u00a0https:\/\/doi.org\/10.1007\/978-3-642-33278-4"},{"key":"7411_CR25","unstructured":"Visio documentation. https:\/\/docs.microsoft.com\/en-us\/office\/dev\/add-ins\/visio\/."},{"key":"7411_CR26","doi-asserted-by":"publisher","first-page":"477","DOI":"10.3103\/S014641161607018X","volume":"50","author":"S.A. Shershakov","year":"2016","unstructured":"Shershakov, S.A., DPMine graphical language for automation of experiments in process mining, Autom. Control Comput. Sci., 2016, vol. 50, no. 8, pp. 477\u2013485. \u00a0https:\/\/doi.org\/10.3103\/S014641161607018X","journal-title":"Autom. Control Comput. Sci."},{"key":"7411_CR27","series-title":"Component-based VTMine\/C Framework: Not only modelling","volume-title":"Proc. 8th Spring\/Summer Young Researchers\u2019 Colloquium on Software Engineering, SYRCoSE","author":"P. Kim","year":"2014","unstructured":"Kim, P., Bulanov, O., and Shershakov, S., Component-based VTMine\/C Framework: Not only modelling, in Proc. 8th Spring\/Summer Young Researchers\u2019 Colloquium on Software Engineering, SYRCoSE, Moscow: Ivannikov Inst. Sist. Program., Russ. Acad. Sci., 2014, pp.\u00a0102\u2013107. http:\/\/syrcose.ispras.ru\/2014\/ files\/SYRCoSE2014_Proceedings.pdf."},{"key":"7411_CR28","unstructured":"DPModel official website. https:\/\/prj.xiart.ru\/projects\/dpmodel."},{"key":"7411_CR29","doi-asserted-by":"publisher","unstructured":"Shershakov, S.A., Multi-perspective process mining with embedding configurations into DB-based event logs, in Tools and Methods of Program Analysis. TMPA 2019, Kalenkova, A., Lozano, J.A., and Yavorskiy, R., Eds., Communications in Computer and Information Science, vol. 1288, Cham: Springer, 2021, pp. 68\u201380. \u00a0https:\/\/doi.org\/10.1007\/978-3-030-71472-7_5","DOI":"10.1007\/978-3-030-71472-7_5"},{"key":"7411_CR30","unstructured":"LDOPA official website. https:\/\/prj.xiart.ru\/projects\/ldopa."},{"key":"7411_CR31","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.18320.46084","volume-title":"Enhancing efficiency of process mining algorithms with a tailored library design principles and performance assessment: Technical report","author":"S.A. Shershakov","year":"2018","unstructured":"Shershakov, S.A., Enhancing efficiency of process mining algorithms with a tailored library design principles and performance assessment: Technical report, Moscow: HSE Univ., 2018. \u00a0https:\/\/doi.org\/10.13140\/RG.2.2.18320.46084"},{"key":"7411_CR32","series-title":"Transition systems reduction: Balancing between precision and simplicity","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-55862-1_6","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XII","author":"A.A. Shershakov","year":"2017","unstructured":"Shershakov, A.A., Kalenkova, A.A., and Lomazova, I.A., Transition systems reduction: Balancing between precision and simplicity, in Transactions on Petri Nets and Other Models of Concurrency XII, Koutny, M., Kleijn, J., and Penczek, W., Eds., Lecture Notes in Computer Science, vol. 10470, Berlin: Springer, 2017, pp. 119\u2013139.\u00a0https:\/\/doi.org\/10.1007\/978-3-662-55862-1_6"},{"key":"7411_CR33","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., and Yakovlev, A., Deriving Petri nets from finite transition systems, IEEE Trans. Comput., 1998, vol. 47, no. 8, pp. 859\u2013882. \u00a0https:\/\/doi.org\/10.1109\/12.707587","journal-title":"IEEE Trans. Comput."},{"key":"7411_CR34","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10270-008-0106-z","volume":"9","author":"W.M.P. Van der Aalst","year":"2010","unstructured":"Van der Aalst, W.M.P., Rubin, V., Verbeek, H.M.W., van Dongen, B.F., Kindler, E., and G\u00fcnther, C.W., Process mining: a two-step approach to balance between underfitting and overfitting, Software Syst. Mod., 2010, vol.\u00a09, p. 87. https:\/\/doi.org\/10.1007\/s10270-008-0106-z","journal-title":"Software Syst. Mod."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411621070282.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411621070282","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411621070282.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:00:52Z","timestamp":1773612052000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411621070282"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":34,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["7411"],"URL":"https:\/\/doi.org\/10.3103\/s0146411621070282","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"25 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 June 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The author declares that he has no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}