{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T10:12:56Z","timestamp":1772619176884,"version":"3.50.1"},"reference-count":393,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100008838","name":"Shanghai Municipal Commission of Economy and Informatization","doi-asserted-by":"publisher","award":["JMRH-2018-1042"],"award-info":[{"award-number":["JMRH-2018-1042"]}],"id":[{"id":"10.13039\/501100008838","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61672381"],"award-info":[{"award-number":["61672381"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"crossref","award":["2018YFB2100800"],"award-info":[{"award-number":["2018YFB2100800"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2933247","type":"journal-article","created":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T19:36:01Z","timestamp":1565033761000},"page":"108703-108728","source":"Crossref","is-referenced-by-count":19,"title":["Behavior Analysis for Electronic Commerce Trading Systems: A Survey"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9484-3345","authenticated-orcid":false,"given":"Peihai","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhijun","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-0653","authenticated-orcid":false,"given":"Mimi","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruihao","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref275","doi-asserted-by":"publisher","DOI":"10.1145\/2109211.2109214"},{"key":"ref274","doi-asserted-by":"publisher","DOI":"10.1109\/T-AFFC.2011.22"},{"key":"ref277","doi-asserted-by":"publisher","DOI":"10.1145\/2395123.2395129"},{"key":"ref276","doi-asserted-by":"publisher","DOI":"10.1145\/2872427.2883006"},{"key":"ref271","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2011.17"},{"key":"ref270","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2013.10.012"},{"key":"ref170","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40176-3_10"},{"key":"ref273","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2132712"},{"key":"ref272","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-012-0591-5"},{"key":"ref172","doi-asserted-by":"publisher","DOI":"10.1145\/581271.581272"},{"key":"ref171","article-title":"Mining activity clusters from low-level event logs","author":"g\u00fcnther","year":"2006","journal-title":"Beta Research School for Operations Management and Logistics"},{"key":"ref174","doi-asserted-by":"publisher","DOI":"10.7717\/peerj.6035"},{"key":"ref173","doi-asserted-by":"publisher","DOI":"10.1006\/nimg.2001.1037"},{"key":"ref176","doi-asserted-by":"publisher","DOI":"10.1145\/1541880.1541882"},{"key":"ref175","doi-asserted-by":"publisher","DOI":"10.1145\/1085126.1085129"},{"key":"ref178","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1145\/1014052.1014102","article-title":"Eigenspace-based anomaly detection in computer systems","author":"id\u00e9","year":"2004","journal-title":"Proc KDD"},{"key":"ref177","first-page":"211","article-title":"A classification framework for anomaly detection","volume":"6","author":"steinwart","year":"2005","journal-title":"J Mach Learn Res"},{"key":"ref168","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2016.07.011"},{"key":"ref169","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1244"},{"key":"ref267","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2012.2198212"},{"key":"ref268","doi-asserted-by":"publisher","DOI":"10.1145\/2487788.2488120"},{"key":"ref269","article-title":"Analysis of search and browsing behavior of young users on the Web","volume":"8","author":"torres","year":"2014","journal-title":"ACM Trans Web"},{"key":"ref288","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2012.119"},{"key":"ref287","doi-asserted-by":"publisher","DOI":"10.1145\/2493171.2493173"},{"key":"ref286","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2009.11.005"},{"key":"ref285","first-page":"268","article-title":"User authentication from Web browsing behavior","author":"abramson","year":"2013","journal-title":"Proc Int Florida Artif Intell Res Soc Conf"},{"key":"ref181","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-0142(19971025)81:5<272::AID-CNCR3>3.0.CO;2-P"},{"key":"ref284","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2010.03.001"},{"key":"ref180","first-page":"1941","article-title":"False-positive and false-negative rates for carcinogenicity screens","volume":"37","author":"fears","year":"1977","journal-title":"Cancer Res"},{"key":"ref283","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.24"},{"key":"ref282","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2011.08.003"},{"key":"ref281","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2008.923716"},{"key":"ref185","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2008.03.003"},{"key":"ref280","doi-asserted-by":"publisher","DOI":"10.1145\/2487788.2488131"},{"key":"ref184","doi-asserted-by":"publisher","DOI":"10.1177\/0956797611417632"},{"key":"ref183","doi-asserted-by":"publisher","DOI":"10.1053\/j.gastro.2015.09.050"},{"key":"ref182","doi-asserted-by":"publisher","DOI":"10.1097\/EDE.0b013e31821b506e"},{"key":"ref189","first-page":"353","article-title":"Controlling true positive rate in ROC analysis","author":"eftest\u00f8l","year":"2009","journal-title":"Proc 36th Annu Comput Cardiol Conf (CinC)"},{"key":"ref188","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btf877"},{"key":"ref187","doi-asserted-by":"publisher","DOI":"10.1038\/nmeth1006-777"},{"key":"ref186","doi-asserted-by":"publisher","DOI":"10.1016\/j.neuroimage.2009.02.035"},{"key":"ref179","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.843274"},{"key":"ref278","doi-asserted-by":"publisher","DOI":"10.1145\/2566486.2568038"},{"key":"ref279","doi-asserted-by":"publisher","DOI":"10.1145\/2590296.2590347"},{"key":"ref293","doi-asserted-by":"publisher","DOI":"10.1145\/2499380"},{"key":"ref292","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2013.6577711"},{"key":"ref295","article-title":"Web user behavior analysis","author":"roman","year":"2011"},{"key":"ref294","article-title":"Modeling aspects of human trails on the Web","author":"singer","year":"2014"},{"key":"ref297","doi-asserted-by":"publisher","DOI":"10.1145\/2362456.2362474"},{"key":"ref296","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2015.7363739"},{"key":"ref299","first-page":"1598","article-title":"Wikispeedia: An online game for inferring semantic distances between concepts","author":"west","year":"2009","journal-title":"Proc 21st Int Joint Conf Artif Intell"},{"key":"ref298","doi-asserted-by":"publisher","DOI":"10.1145\/2187836.2187920"},{"key":"ref154","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843012400035"},{"key":"ref153","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31131-4_9"},{"key":"ref156","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37502-6_71"},{"key":"ref155","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxs014"},{"key":"ref150","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13675-7_6"},{"key":"ref152","doi-asserted-by":"crossref","first-page":"399","DOI":"10.3233\/FI-2011-614","article-title":"Causal behavioural profiles&#x2013;efficient computation, applications, and evaluation","volume":"113","author":"weidlich","year":"2011","journal-title":"Fundam Inf"},{"key":"ref291","doi-asserted-by":"publisher","DOI":"10.1145\/2736277.2741080"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.02.044"},{"key":"ref290","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.08.056"},{"key":"ref146","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15545-6_8"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00277-9"},{"key":"ref148","doi-asserted-by":"publisher","DOI":"10.1145\/3060140"},{"key":"ref149","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.96"},{"key":"ref289","doi-asserted-by":"publisher","DOI":"10.3233\/IDA-130627"},{"key":"ref167","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40176-3_8"},{"key":"ref166","first-page":"13","article-title":"On the suitability of generalized behavioral profiles for process model comparison","author":"armas-cervantes","year":"2014","journal-title":"Proc of the 1st Intl Workshop on Web Services and Formal Methods"},{"key":"ref165","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2831219"},{"key":"ref164","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49148-6_8"},{"key":"ref163","doi-asserted-by":"crossref","first-page":"1655","DOI":"10.3923\/itj.2013.1655.1659","article-title":"Analyzing method of change region in BPM based on module of Petri net","volume":"12","author":"fang","year":"2013","journal-title":"Inf Technol J"},{"key":"ref162","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07734-5_12"},{"key":"ref161","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15618-2_8"},{"key":"ref160","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510775"},{"key":"ref159","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0372-4"},{"key":"ref157","first-page":"171","article-title":"Behavior consistency analysis based on the behavior profile about transition multi-set of Petri net","volume":"9","author":"fang","year":"2013","journal-title":"Przeglad Elektrotechniczny"},{"key":"ref158","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37502-6_142"},{"key":"ref197","doi-asserted-by":"publisher","DOI":"10.1109\/TCOMM.2011.100411.100541"},{"key":"ref198","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007608224229"},{"key":"ref199","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021713901879"},{"key":"ref193","doi-asserted-by":"publisher","DOI":"10.1259\/bjr\/80482243"},{"key":"ref194","doi-asserted-by":"publisher","DOI":"10.1145\/1007730.1007735"},{"key":"ref195","first-page":"1","article-title":"ROC graphs: Notes and practical considerations for researchers","volume":"31","author":"fawcett","year":"2004","journal-title":"Mach Learn"},{"key":"ref196","doi-asserted-by":"publisher","DOI":"10.1007\/s00423-009-0470-3"},{"key":"ref190","doi-asserted-by":"publisher","DOI":"10.1016\/j.csda.2008.09.023"},{"key":"ref191","doi-asserted-by":"publisher","DOI":"10.1109\/ICDMW.2008.38"},{"key":"ref192","doi-asserted-by":"publisher","DOI":"10.1088\/1741-2560\/5\/1\/002"},{"key":"ref200","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.1511"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2018.04.003"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2784436"},{"key":"ref209","first-page":"211","article-title":"A kind of mouse behavior authentication method on dynamic soft keyboard","author":"ma","year":"2016","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref203","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-8958-3"},{"key":"ref204","doi-asserted-by":"publisher","DOI":"10.1145\/860435.860505"},{"key":"ref201","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143874"},{"key":"ref202","first-page":"1250","article-title":"Decidability results for ATL with imperfect information and perfect recall","author":"berthon","year":"2017","journal-title":"Proc AAMAS"},{"key":"ref207","first-page":"441","article-title":"Toward optimal active learning through sampling estimation of error reduction","author":"roy","year":"2001","journal-title":"Proc ICML"},{"key":"ref208","doi-asserted-by":"publisher","DOI":"10.1109\/70.544770"},{"key":"ref205","doi-asserted-by":"publisher","DOI":"10.1109\/89.568732"},{"key":"ref206","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1979.5220566"},{"key":"ref211","first-page":"249","article-title":"Assessing agreement on classification tasks: The kappa statistic","volume":"22","author":"carletta","year":"1996","journal-title":"Comput Linguistics"},{"key":"ref210","first-page":"360","article-title":"Understanding interobserver agreement: The kappa statistic","volume":"37","author":"viera","year":"2005","journal-title":"Family Medicine"},{"key":"ref212","doi-asserted-by":"publisher","DOI":"10.1162\/089120104773633402"},{"key":"ref213","doi-asserted-by":"publisher","DOI":"10.1016\/0030-4220(87)90181-2"},{"key":"ref214","first-page":"206","article-title":"A continuous identity verification method based on free-text keystroke dynamics","author":"song","year":"2016","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref215","doi-asserted-by":"publisher","DOI":"10.1109\/TIP.2003.819861"},{"key":"ref216","doi-asserted-by":"publisher","DOI":"10.1109\/83.287029"},{"key":"ref217","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2003.1261234"},{"key":"ref218","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.01.003"},{"key":"ref219","first-page":"171","article-title":"Model construction and authentication algorithm of virtual keystroke dynamics for smart phone users","author":"zhang","year":"2016","journal-title":"Proc IEEE Int Conf Syst Man Cybern (SMC)"},{"key":"ref220","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2004.838933"},{"key":"ref222","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2011.2174959"},{"key":"ref221","doi-asserted-by":"publisher","DOI":"10.1080\/02693799608902083"},{"key":"ref229","doi-asserted-by":"publisher","DOI":"10.1109\/ICSAI.2016.7810976"},{"key":"ref228","doi-asserted-by":"publisher","DOI":"10.1109\/KAM.2009.175"},{"key":"ref227","first-page":"113","article-title":"Using the mean absolute percentage error for regression models","author":"de myttenaere","year":"2015","journal-title":"Proc Eur Symp Artif Neural Netw Comput Intell Mach Learn (ESANN)"},{"key":"ref226","doi-asserted-by":"publisher","DOI":"10.1145\/564376.564432"},{"key":"ref225","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2015.12.114"},{"key":"ref224","first-page":"335","article-title":"Authenticating Web user&#x2019;s identity through browsing sequences modeling","author":"zhao","year":"2016","journal-title":"Proc IEEE 16th Int Conf Data Mining Workshops (ICDMW)"},{"key":"ref223","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2005.1600062"},{"key":"ref127","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.60"},{"key":"ref126","doi-asserted-by":"publisher","DOI":"10.1145\/1961189.1961194"},{"key":"ref125","first-page":"1","article-title":"Prom: The process mining toolkit","author":"van der aalst","year":"2009","journal-title":"Proc BPM"},{"key":"ref124","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888906000737"},{"key":"ref129","doi-asserted-by":"publisher","DOI":"10.1016\/j.jides.2016.11.001"},{"key":"ref128","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_27"},{"key":"ref130","doi-asserted-by":"publisher","DOI":"10.1145\/276304.276313"},{"key":"ref133","first-page":"453","article-title":"Process mining with prom","author":"van der aalst","year":"2007","journal-title":"Proc Belgian\/Netherlands Artif Intell Conf"},{"key":"ref134","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2004.1399926"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.01.003"},{"key":"ref132","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2011.5"},{"key":"ref232","doi-asserted-by":"publisher","DOI":"10.3758\/s13428-011-0076-x"},{"key":"ref233","doi-asserted-by":"publisher","DOI":"10.1145\/358598.358630"},{"key":"ref230","doi-asserted-by":"publisher","DOI":"10.1097\/00001648-199209000-00012"},{"key":"ref231","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025681223921"},{"key":"ref239","doi-asserted-by":"publisher","DOI":"10.18178\/ijmlc.2017.7.2.613"},{"key":"ref238","doi-asserted-by":"publisher","DOI":"10.1145\/1076034.1076144"},{"key":"ref235","doi-asserted-by":"publisher","DOI":"10.1197\/jamia.M1733"},{"key":"ref234","doi-asserted-by":"publisher","DOI":"10.1109\/ISCID.2014.205"},{"key":"ref237","first-page":"1404","article-title":"An exact algorithm for F-measure maximization","author":"dembczynski","year":"2011","journal-title":"Proc NIPS"},{"key":"ref236","first-page":"356","article-title":"Optimizing F-measure with support vector machines","author":"musicant","year":"2003","journal-title":"Proc FLAIRS Conf"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17945-3_5"},{"key":"ref135","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00300-X"},{"key":"ref138","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46432-8_13"},{"key":"ref137","doi-asserted-by":"publisher","DOI":"10.1007\/s002360000041"},{"key":"ref139","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2015.19"},{"key":"ref140","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2009.9"},{"key":"ref141","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0351"},{"key":"ref142","first-page":"1","article-title":"A reduced semantics for deciding trace equivalence","volume":"13","author":"baelde","year":"2017","journal-title":"Log Meth Comput Sci"},{"key":"ref143","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_6"},{"key":"ref144","first-page":"1","article-title":"Symbolic equivalences for open systems","author":"baldan","year":"2004","journal-title":"Proc Int Workshop Global Comput"},{"key":"ref2","year":"2018","journal-title":"Semantic Scholar"},{"key":"ref145","doi-asserted-by":"publisher","DOI":"10.1145\/1874590.1874607"},{"key":"ref1","year":"2018","journal-title":"Semantic Scholar"},{"key":"ref241","doi-asserted-by":"publisher","DOI":"10.1038\/nature03277"},{"key":"ref242","doi-asserted-by":"publisher","DOI":"10.1145\/1132960.1132963"},{"key":"ref243","article-title":"Optimizing the F-measure for threshold-free salient object detection","author":"zhao","year":"2018","journal-title":"arXiv 1805 07567"},{"key":"ref244","first-page":"249","article-title":"Performance measures for information extraction","author":"makhoul","year":"1999","journal-title":"Proc DARPA Broadcast News Workshop"},{"key":"ref240","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44851-9_15"},{"key":"ref248","author":"van tilborg","year":"2014","journal-title":"Encyclopedia of Cryptography and Security"},{"key":"ref247","doi-asserted-by":"publisher","DOI":"10.1145\/956750.956759"},{"key":"ref246","doi-asserted-by":"publisher","DOI":"10.1007\/11941439_114"},{"key":"ref245","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1979.4766909"},{"key":"ref249","doi-asserted-by":"publisher","DOI":"10.1145\/2529995.2529996"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30468-5_3"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_10"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1145\/380749.380767"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10172-9_28"},{"key":"ref105","first-page":"1","article-title":"Repairing event logs using stochastic process models","author":"rogge-solti","year":"2013","journal-title":"Proc OTM Workshops Move Meaningful Internet Syst"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2011.12"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1045"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.4.246"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39696-5_10"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2017.01.003"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0432-2"},{"key":"ref250","doi-asserted-by":"publisher","DOI":"10.1145\/2567948.2567956"},{"key":"ref251","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2014.2363125"},{"key":"ref254","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.190741"},{"key":"ref255","doi-asserted-by":"publisher","DOI":"10.1145\/2187836.2187919"},{"key":"ref252","doi-asserted-by":"publisher","DOI":"10.1145\/2505515.2505668"},{"key":"ref253","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25731-5_14"},{"key":"ref257","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0161636"},{"key":"ref256","first-page":"130","article-title":"Who does what on the Web: A large-scale study of browsing behavior","author":"goel","year":"2012","journal-title":"Proc ICWSM"},{"key":"ref10","article-title":"Schema matching and mapping-based data integration","author":"do","year":"2006"},{"key":"ref259","doi-asserted-by":"publisher","DOI":"10.1145\/2736277.2741666"},{"key":"ref11","article-title":"Configurable consistency for wide-area caching","author":"susarla","year":"2007"},{"key":"ref258","doi-asserted-by":"publisher","DOI":"10.1145\/2872427.2883034"},{"key":"ref12","article-title":"Improving data consistency management and overlay multicast in Internet-scale distributed systems","author":"lu","year":"2007"},{"key":"ref13","article-title":"Detection and prediction of errors in EPC business process models","author":"mendling","year":"2007"},{"key":"ref14","article-title":"Merging and consistency checking of distributed models","author":"sabetzadeh","year":"2008"},{"key":"ref15","article-title":"Constraint-based workflow management systems: Shifting control to users","author":"pesic","year":"2008"},{"key":"ref118","article-title":"Trace clustering in process mining","author":"song","year":"2008","journal-title":"Business Process Management Workshops"},{"key":"ref16","article-title":"Managing variability in process-aware information systems","author":"rosa","year":"2009"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.07.003"},{"key":"ref17","article-title":"Process mining in flexible environments","author":"g\u00fcnther","year":"2009"},{"key":"ref18","article-title":"View-based and model-driven approach for process-driven, service-oriented architectures","author":"tran","year":"2009"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16071-9"},{"key":"ref19","article-title":"Developing, tuning, and using schema matching systems","author":"lee","year":"2010"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_16"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00016-6"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69462-7_4"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"ref120","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.77"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1145\/2229156.2229157"},{"key":"ref122","first-page":"223","article-title":"SPIRIT: Sequential pattern mining with regular expression constraints","author":"garofalakis","year":"1999","journal-title":"Proc VLDB"},{"key":"ref123","first-page":"34","article-title":"Prom 6: The process mining toolkit","author":"verbeek","year":"2010","journal-title":"Proc BPM"},{"key":"ref260","doi-asserted-by":"publisher","DOI":"10.1145\/2488388.2488406"},{"key":"ref261","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33326-2"},{"key":"ref262","doi-asserted-by":"publisher","DOI":"10.1145\/2493175.2493181"},{"key":"ref263","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2012.2187441"},{"key":"ref264","first-page":"1","article-title":"Hybrid technique for user&#x2019;s Web page access prediction based on Markov model","author":"panchal","year":"2013","journal-title":"Proc 4th Int Conf Comput Commun Netw Technol (ICCCNT)"},{"key":"ref265","first-page":"975","article-title":"Web navigation path pattern prediction using first order Markov model and depth first evaluation","volume":"45","author":"mayil","year":"2012","journal-title":"Int J Comput Appl"},{"key":"ref266","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1491"},{"key":"ref365","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2011.2173583"},{"key":"ref364","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623709"},{"key":"ref363","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89197-0_64"},{"key":"ref362","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-014-0345-2"},{"key":"ref361","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-014-0388-4"},{"key":"ref360","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623694"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.03.003"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_12"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2501654.2501663"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2431211.2431221"},{"key":"ref31","article-title":"Studies on declarative process modeling and its relation to procedural techniques","author":"de smedt","year":"2016"},{"key":"ref359","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972818.22"},{"key":"ref30","article-title":"Abstraction, visualization, and evolution of process models","author":"kirchheim","year":"2015"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2018.2841877"},{"key":"ref357","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-011-0400-x"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.1093247"},{"key":"ref358","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2014.07.056"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2736277.2741683"},{"key":"ref355","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-015-0878-8"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2071389.2071391"},{"key":"ref356","doi-asserted-by":"publisher","DOI":"10.1145\/2339530.2339576"},{"key":"ref352","doi-asserted-by":"publisher","DOI":"10.1145\/2339530.2339579"},{"key":"ref351","doi-asserted-by":"publisher","DOI":"10.1145\/2020408.2020587"},{"key":"ref354","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623613"},{"key":"ref353","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-013-0322-1"},{"key":"ref350","doi-asserted-by":"publisher","DOI":"10.1145\/1557019.1557122"},{"key":"ref28","article-title":"Diagnosing behavioral differences between business process models: An approach based on event structures","author":"armas-cervantes","year":"2015"},{"key":"ref27","article-title":"Advances in process mining","author":"broucke","year":"2014"},{"key":"ref29","article-title":"Process-oriented information logistics: Aligning process information with business processes","author":"michelberger","year":"2015"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.3990\/1.9789036530842","article-title":"Mining process model variants: Challenges, techniques, examples","author":"li","year":"2010"},{"key":"ref348","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2015.2468715"},{"key":"ref349","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379788"},{"key":"ref22","article-title":"Structuring process models","author":"polyvyanyy","year":"2012"},{"key":"ref21","article-title":"Behavioural profiles&#x2014;A relational approach to behaviour consistency","author":"weidlich","year":"2011"},{"key":"ref24","article-title":"Business process model abstraction","author":"smirnov","year":"2012"},{"key":"ref344","doi-asserted-by":"publisher","DOI":"10.1145\/2576868"},{"key":"ref23","article-title":"The design of graphical process modeling languages: From free composition to modular construction","author":"gambini","year":"2012"},{"key":"ref345","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmp.2011.08.004"},{"key":"ref26","article-title":"Consistency-based system security techniques","author":"wei","year":"2013"},{"key":"ref346","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972788.59"},{"key":"ref25","article-title":"Database consistency in cloud databases","author":"islam","year":"2013"},{"key":"ref347","doi-asserted-by":"publisher","DOI":"10.1145\/2532643"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-007-0065-y"},{"key":"ref383","first-page":"175","article-title":"Fast, lean, and accurate: Modeling password guessability using neural networks","author":"melicher","year":"2016","journal-title":"Proc 25th Usenix Security Symp"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0106-z"},{"key":"ref382","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2852652"},{"key":"ref381","doi-asserted-by":"publisher","DOI":"10.1145\/233551.233556"},{"key":"ref380","first-page":"165","article-title":"Petri nets and the equivalence problem","volume":"832","author":"hirshfeld","year":"1993","journal-title":"Proceedings CSL"},{"key":"ref387","doi-asserted-by":"publisher","DOI":"10.1111\/j.1541-1338.2011.00536.x"},{"key":"ref386","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978392"},{"key":"ref385","first-page":"497","article-title":"Virtual U: Defeating face liveness detection by building virtual models from your public photos","author":"xu","year":"2016","journal-title":"Proc 25th Usenix Security Symp"},{"key":"ref384","doi-asserted-by":"publisher","DOI":"10.1109\/TCSVT.2003.818349"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(03)00066-1"},{"key":"ref379","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.44"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/312129.312191"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44895-0_1"},{"key":"ref377","doi-asserted-by":"publisher","DOI":"10.1145\/2783258.2783367"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_33"},{"key":"ref378","doi-asserted-by":"publisher","DOI":"10.1145\/2983323.2983740"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92219-3_32"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/11575771_11"},{"key":"ref53","first-page":"1","article-title":"Process mining with the heuristics miner algorithm","volume":"166","author":"weijters","year":"2009"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30464-7_29"},{"key":"ref370","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-013-0315-0"},{"key":"ref372","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49586-6_8"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/978-3-642-38143-0_10","article-title":"Discovering Petri nets from event logs","volume":"7","author":"van der aalst","year":"2013","journal-title":"Transactions on Petri Nets and Other Models of Concurrency VII"},{"key":"ref371","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2013.184"},{"key":"ref374","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s10618-015-0403-4","article-title":"Exceptional model mining","volume":"30","author":"leman","year":"2016","journal-title":"Data Mining Knowl Discovery"},{"key":"ref373","first-page":"1833","article-title":"Hidden Markov anomaly detection","author":"g\u00f6rnitz","year":"2015","journal-title":"Proc ICML"},{"key":"ref376","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2012.143"},{"key":"ref375","first-page":"1","article-title":"The importance of features for statistical anomaly detection","author":"goldberg","year":"2015","journal-title":"Proc HotCloud"},{"key":"ref4","article-title":"Efficient graph matching algorithms for preprocessed model graphs","author":"messmer","year":"1995"},{"key":"ref3","article-title":"Comparative concurrency semantics and refinement of actions","author":"van glabbeek","year":"1990"},{"key":"ref6","article-title":"Dynamische ablauf&#x00E4;nderungen in workflow-management-systemen","author":"reichert","year":"2000"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.14711\/thesis-b518773","article-title":"Consistency management in distributed heterogeneous information sources","author":"do","year":"1996"},{"key":"ref8","article-title":"Learning to map between structured representations of data","author":"doan","year":"2003"},{"key":"ref7","article-title":"Consistency model transitions in shared memory","author":"steinke","year":"2001"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-006-0061-7"},{"key":"ref9","article-title":"Multi-view consistency checking of bon software description diagrams","author":"gao","year":"2004"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2833450"},{"key":"ref366","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623374"},{"key":"ref45","first-page":"169","article-title":"Process mining manifesto","author":"van der aalst","year":"2011","journal-title":"Proc Bus Process Manage Workshops"},{"key":"ref367","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-015-0415-0"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2003.10.001"},{"key":"ref368","doi-asserted-by":"publisher","DOI":"10.1145\/1541880.1541882"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2006.05.003"},{"key":"ref369","article-title":"Anomaly detection for symbolic sequences and time series data","author":"chandola","year":"2009"},{"key":"ref42","article-title":"SQL queries for declarative process mining on event logs of relational databases","author":"sch\u00f6nig","year":"2015","journal-title":"arXiv 1512 00196"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3041218"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"ref43","first-page":"42","article-title":"Process mining as first-order classification learning on logs with negative events","author":"goedertier","year":"2007","journal-title":"Proc Bus Process Manage Workshops"},{"key":"ref320","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2012.06.001"},{"key":"ref321","doi-asserted-by":"publisher","DOI":"10.1145\/2517040"},{"key":"ref73","first-page":"25","article-title":"Multi-phase process mining: Aggregating instance graphs into EPCS and Petri nets","author":"van dongen","year":"2005","journal-title":"Proc 2nd Int Workshop Appl Petri Nets PNCWB ICATPN"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.010"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2601094"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43745-2_11"},{"key":"ref76","article-title":"Genetic process mining","author":"de medeiros","year":"2006"},{"key":"ref318","doi-asserted-by":"publisher","DOI":"10.1145\/2382616.2382620"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85758-7_26"},{"key":"ref317","doi-asserted-by":"publisher","DOI":"10.1145\/1835804.1835818"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30188-2_12"},{"key":"ref316","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70228"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1007\/11494744_5"},{"key":"ref315","doi-asserted-by":"publisher","DOI":"10.1145\/2566486.2568044"},{"key":"ref314","doi-asserted-by":"publisher","DOI":"10.1145\/2783258.2788562"},{"key":"ref313","doi-asserted-by":"publisher","DOI":"10.1145\/2736277.2741087"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.131"},{"key":"ref312","doi-asserted-by":"publisher","DOI":"10.1145\/2484028.2484067"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.39"},{"key":"ref311","doi-asserted-by":"publisher","DOI":"10.1145\/2872427.2883024"},{"key":"ref319","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6588663"},{"key":"ref310","doi-asserted-by":"publisher","DOI":"10.1145\/2043628.2043633"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/360402.360406"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0502-0"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2668418"},{"key":"ref63","first-page":"163","article-title":"Conformance testing: Measuring the fit and appropriateness of event logs and process models","author":"rozinat","year":"2005","journal-title":"Proc Int Conf Bus Process Manage"},{"key":"ref305","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.02.066"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24626-0_2"},{"key":"ref304","first-page":"321","article-title":"Keystroke dynamics in password authentication for multi-user account","volume":"11","author":"zhang","year":"2015","journal-title":"J Comput Inf Syst"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36182-0_37"},{"key":"ref307","doi-asserted-by":"publisher","DOI":"10.1145\/1993060.1993062"},{"key":"ref66","first-page":"477","article-title":"Discovering models of parallel workflow processes from incomplete event logs","author":"lekic","year":"2015","journal-title":"3rd Int Conf on Model-Driven Engineering and Software Development (MODELSWARD 2015)"},{"key":"ref306","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2012.03.008"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2016.7579385"},{"key":"ref301","doi-asserted-by":"publisher","DOI":"10.1145\/1952388.1952390"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/1620432.1620449"},{"key":"ref300","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0102070"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.123"},{"key":"ref303","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270346"},{"key":"ref302","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/565183"},{"key":"ref309","doi-asserted-by":"crossref","first-page":"1231","DOI":"10.1109\/TSMCB.2012.2188508","article-title":"Online signature verification based on generative models","volume":"42","author":"rua","year":"2012","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"ref308","doi-asserted-by":"publisher","DOI":"10.1109\/ICDH.2012.59"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.08.004"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.3233\/ICA-2003-10205"},{"key":"ref92","article-title":"Business process management: A comprehensive survey","volume":"2013","author":"van der aalst","year":"2012","journal-title":"ISRN Softw Eng"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9_11"},{"key":"ref342","doi-asserted-by":"publisher","DOI":"10.1145\/1644873.1644878"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_16"},{"key":"ref343","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2013.191"},{"key":"ref340","doi-asserted-by":"publisher","DOI":"10.1145\/2431211.2431218"},{"key":"ref341","doi-asserted-by":"publisher","DOI":"10.1145\/1882471.1882478"},{"key":"ref336","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-013-0203-z"},{"key":"ref335","doi-asserted-by":"publisher","DOI":"10.1126\/science.1256297"},{"key":"ref334","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939687"},{"key":"ref333","doi-asserted-by":"crossref","first-page":"1018","DOI":"10.1126\/science.1177170","article-title":"Limits of predictability in human mobility","volume":"327","author":"song","year":"2010","journal-title":"Science"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91268-4_7"},{"key":"ref99","article-title":"A user evaluation of automated process discovery algorithms","author":"maggi","year":"2018","journal-title":"arXiv 1806 03150"},{"key":"ref339","doi-asserted-by":"publisher","DOI":"10.1145\/1824795.1824798"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-55862-1_2"},{"key":"ref338","doi-asserted-by":"publisher","DOI":"10.1109\/TCSS.2016.2517648"},{"key":"ref97","first-page":"216","article-title":"Improving process discovery results by filtering outliers using conditional behavioural probabilities","author":"sani","year":"2017","journal-title":"Proc Int Workshops Bus Process Manage Workshops (BPM)"},{"key":"ref337","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2015.07.085"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/2207243.2207251"},{"key":"ref81","first-page":"235","article-title":"Process-aware information systems: Bridging people and software through process technology","volume":"1","author":"van der aalst","year":"2005","journal-title":"Informatik-Spektrum"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref83","first-page":"1","article-title":"Challenges in business process mining","author":"van der aalst","year":"2010","journal-title":"Applied Stochastic Models in Business and Industry"},{"key":"ref330","doi-asserted-by":"publisher","DOI":"10.1145\/2542668"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2005.194134"},{"key":"ref331","doi-asserted-by":"publisher","DOI":"10.1126\/science.aac4420"},{"key":"ref332","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939752"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1007\/11494744_25"},{"key":"ref323","doi-asserted-by":"publisher","DOI":"10.1145\/3018661.3018731"},{"key":"ref322","doi-asserted-by":"publisher","DOI":"10.1145\/2556613"},{"key":"ref325","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2014.2334607"},{"key":"ref324","doi-asserted-by":"publisher","DOI":"10.1145\/2337542.2337547"},{"key":"ref85","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","author":"van der aalst","year":"2011","journal-title":"Process Mining Discovery Conformance and Enhancement of Business Processes"},{"key":"ref327","doi-asserted-by":"publisher","DOI":"10.1145\/2743025"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"ref326","doi-asserted-by":"publisher","DOI":"10.1145\/2898361"},{"key":"ref87","author":"van der aalst","year":"2004","journal-title":"Workflow Management Models Methods and Systems"},{"key":"ref329","doi-asserted-by":"publisher","DOI":"10.1038\/nature06958"},{"key":"ref88","first-page":"56","article-title":"Relating process models and event logs 21 conformance propositions","volume":"2115","author":"van der aalst","year":"2018","journal-title":"Proc Int Workshop Algorithms Theor Anal Event Data"},{"key":"ref328","doi-asserted-by":"publisher","DOI":"10.1038\/nphys1760"},{"key":"ref389","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-122"},{"key":"ref388","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2014.60"},{"key":"ref390","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2016.5"},{"key":"ref393","year":"2016","journal-title":"The 38th Statistical Report on the Development of China&#x2019;s Internet"},{"key":"ref391","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1418680112"},{"key":"ref392","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1218772110"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08788542.pdf?arnumber=8788542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T21:16:03Z","timestamp":1695071763000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8788542\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":393,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2933247","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}