{"id":"https://openalex.org/W3010812209","doi":"https://doi.org/10.1080/00051144.2020.1734716","title":"Automated simulation and verification of process models discovered by process mining","display_name":"Automated simulation and verification of process models discovered by process mining","publication_year":2020,"publication_date":"2020-03-16","ids":{"openalex":"https://openalex.org/W3010812209","doi":"https://doi.org/10.1080/00051144.2020.1734716","mag":"3010812209"},"language":"en","primary_location":{"id":"doi:10.1080/00051144.2020.1734716","doi":"https://doi.org/10.1080/00051144.2020.1734716","is_oa":true,"landing_page_url":"https://doi.org/10.1080/00051144.2020.1734716","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/00051144.2020.1734716?needAccess=true","source":{"id":"https://openalex.org/S62387513","display_name":"Automatika","issn_l":"0005-1144","issn":["0005-1144","1848-3380"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","dongbi-c","norway-1","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatika","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.tandfonline.com/doi/pdf/10.1080/00051144.2020.1734716?needAccess=true","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ivona Zakarija","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I180629606","display_name":"University of Dubrovnik","ror":"https://ror.org/05yptqp13","country_code":"HR","type":"education","lineage":["https://openalex.org/I180629606"]}],"countries":["HR"],"is_corresponding":true,"raw_author_name":"Ivona Zakarija","raw_affiliation_strings":["Department of Electrical Engineering and Computing, University of Dubrovnik, Dubrovnik, Croatia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computing, University of Dubrovnik, Dubrovnik, Croatia","institution_ids":["https://openalex.org/I180629606"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Frano \u0160kopljanac-Ma\u010dina","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I181343428","display_name":"University of Zagreb","ror":"https://ror.org/00mv6sv71","country_code":"HR","type":"education","lineage":["https://openalex.org/I181343428"]},{"id":"https://openalex.org/I4390039327","display_name":"Faculty of Electrical Engineering and Computing in Zagreb","ror":"https://ror.org/04e90ca47","country_code":"HR","type":"education","lineage":["https://openalex.org/I181343428","https://openalex.org/I4390039327"]}],"countries":["HR"],"is_corresponding":false,"raw_author_name":"Frano \u0160kopljanac-Ma\u010dina","raw_affiliation_strings":["Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia","institution_ids":["https://openalex.org/I181343428","https://openalex.org/I4390039327"]}]},{"author_position":"last","author":{"id":null,"display_name":"Bruno Bla\u0161kovi\u0107","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I181343428","display_name":"University of Zagreb","ror":"https://ror.org/00mv6sv71","country_code":"HR","type":"education","lineage":["https://openalex.org/I181343428"]},{"id":"https://openalex.org/I4390039327","display_name":"Faculty of Electrical Engineering and Computing in Zagreb","ror":"https://ror.org/04e90ca47","country_code":"HR","type":"education","lineage":["https://openalex.org/I181343428","https://openalex.org/I4390039327"]}],"countries":["HR"],"is_corresponding":false,"raw_author_name":"Bruno Bla\u0161kovi\u0107","raw_affiliation_strings":["Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia","institution_ids":["https://openalex.org/I181343428","https://openalex.org/I4390039327"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I180629606"],"apc_list":{"value":850,"currency":"USD","value_usd":850},"apc_paid":{"value":850,"currency":"USD","value_usd":850},"fwci":1.6736,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.86203748,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":96},"biblio":{"volume":"61","issue":"2","first_page":"312","last_page":"324"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.005799999926239252,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/process-mining","display_name":"process mining","score":0.8830000162124634},{"id":"https://openalex.org/keywords/process-discovery","display_name":"process discovery","score":0.8360000252723694},{"id":"https://openalex.org/keywords/spin-model-checker","display_name":"SPIN model checker","score":0.7900000214576721},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.656000018119812},{"id":"https://openalex.org/keywords/inductive-learning","display_name":"inductive learning","score":0.5289999842643738},{"id":"https://openalex.org/keywords/multi-agent-systems","display_name":"multi-agent systems","score":0.8489999771118164},{"id":"https://openalex.org/keywords/iot-data","display_name":"IoT data","score":0.5249999761581421},{"id":"https://openalex.org/keywords/event-logs","display_name":"event logs","score":0.8539999723434448},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"linear temporal logic","score":0.949999988079071},{"id":"https://openalex.org/keywords/example-generation","display_name":"example generation","score":0.5040000081062317}],"concepts":[{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.7603999972343445},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7322999835014343},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6481000185012817},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.593999981880188},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.5613999962806702},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5591999888420105},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.5586000084877014},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.515500009059906},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.5142999887466431},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.49380001425743103},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.43799999356269836},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.4059999883174896},{"id":"https://openalex.org/C89198739","wikidata":"https://www.wikidata.org/wiki/Q3079880","display_name":"Data stream mining","level":2,"score":0.388700008392334},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3813999891281128},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.31850001215934753},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.31150001287460327},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3109000027179718},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.3109000027179718},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.3050000071525574},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2881999909877777},{"id":"https://openalex.org/C107645828","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"System model","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2822999954223633},{"id":"https://openalex.org/C126433048","wikidata":"https://www.wikidata.org/wiki/Q7921324","display_name":"Verification and validation of computer simulation models","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.2680000066757202},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.25769999623298645},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2517000138759613}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1080/00051144.2020.1734716","doi":"https://doi.org/10.1080/00051144.2020.1734716","is_oa":true,"landing_page_url":"https://doi.org/10.1080/00051144.2020.1734716","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/00051144.2020.1734716?needAccess=true","source":{"id":"https://openalex.org/S62387513","display_name":"Automatika","issn_l":"0005-1144","issn":["0005-1144","1848-3380"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","dongbi-c","norway-1","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatika","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2011.01646","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2011.01646","pdf_url":"https://arxiv.org/pdf/2011.01646","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:3614783c11ed4dca96cf06a063c70e83","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/3614783c11ed4dca96cf06a063c70e83","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Automatika, Vol 61, Iss 2, Pp 312-324 (2020)","raw_type":"article"},{"id":"pmh:oai:hrcak.srce.hr:239873","doi":null,"is_oa":true,"landing_page_url":"https://hrcak.srce.hr/239873","pdf_url":null,"source":{"id":"https://openalex.org/S4306400071","display_name":"University of Zagreb University Computing Centre (SRCE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I181343428","host_organization_name":"University of Zagreb","host_organization_lineage":["https://openalex.org/I181343428"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Automatika : \u010dasopis za automatiku, mjerenje, elektroniku, ra\u010dunarstvo i komunikacije","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.2011.01646","doi":"https://doi.org/10.48550/arxiv.2011.01646","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2011.01646","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1080/00051144.2020.1734716","doi":"https://doi.org/10.1080/00051144.2020.1734716","is_oa":true,"landing_page_url":"https://doi.org/10.1080/00051144.2020.1734716","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/00051144.2020.1734716?needAccess=true","source":{"id":"https://openalex.org/S62387513","display_name":"Automatika","issn_l":"0005-1144","issn":["0005-1144","1848-3380"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","dongbi-c","norway-1","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatika","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3010812209.pdf","grobid_xml":"https://content.openalex.org/works/W3010812209.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W79843527","https://openalex.org/W85227141","https://openalex.org/W117043302","https://openalex.org/W590207991","https://openalex.org/W1480053192","https://openalex.org/W1555544970","https://openalex.org/W1573881032","https://openalex.org/W1882844777","https://openalex.org/W1916934041","https://openalex.org/W1943502734","https://openalex.org/W2038780865","https://openalex.org/W2047547708","https://openalex.org/W2076343783","https://openalex.org/W2098250644","https://openalex.org/W2101238481","https://openalex.org/W2113498867","https://openalex.org/W2118097730","https://openalex.org/W2131715540","https://openalex.org/W2146613276","https://openalex.org/W2149106068","https://openalex.org/W2156683747","https://openalex.org/W2161336914","https://openalex.org/W2178627750","https://openalex.org/W2468625138","https://openalex.org/W2481890071","https://openalex.org/W2608662023","https://openalex.org/W2613062404","https://openalex.org/W2621765703","https://openalex.org/W2772392577","https://openalex.org/W2800841519","https://openalex.org/W2803776648","https://openalex.org/W2805868941","https://openalex.org/W2893574529","https://openalex.org/W2912697332","https://openalex.org/W2944362491","https://openalex.org/W2945379307","https://openalex.org/W3121961986","https://openalex.org/W4232120525","https://openalex.org/W4250503343"],"related_works":["https://openalex.org/W4399375407","https://openalex.org/W2810529482","https://openalex.org/W3082753144","https://openalex.org/W7074085976","https://openalex.org/W4380894388","https://openalex.org/W7098556392","https://openalex.org/W4394940017","https://openalex.org/W4404287892","https://openalex.org/W4389056387","https://openalex.org/W7100588776"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,52,64,74,151,157],"novel":[4],"approach":[5],"for":[6,141,191],"automated":[7,111],"analysis":[8,112,185],"of":[9,76,113,145,159],"process":[10,14,42,116,128,135,148,192],"models":[11,43,117],"discovered":[12,115,147],"using":[13,118],"mining":[15,18],"techniques.":[16],"Process":[17],"explores":[19],"underlying":[20],"processes":[21],"hidden":[22],"in":[23],"the":[24,114,134,142,146,165,184],"event":[25,47,83],"data":[26,49,86,97],"generated":[27],"by":[28,91],"various":[29],"devices.":[30,81,107],"Our":[31],"proposed":[32,138],"Inductive":[33],"machine":[34],"learning":[35],"method":[36],"was":[37,124],"used":[38,125,171],"to":[39,126,176],"build":[40],"business":[41],"based":[44],"on":[45,87],"actual":[46],"log":[48,84],"obtained":[50],"from":[51,100],"hotel's":[53],"Property":[54],"Management":[55],"System":[56,67],"(PMS).":[57],"The":[58],"PMS":[59],"can":[60],"be":[61,188],"considered":[62],"as":[63,94,96],"Multi":[65],"Agent":[66],"(MAS)":[68],"because":[69],"it":[70],"is":[71],"integrated":[72],"with":[73],"variety":[75],"external":[77,105],"systems":[78],"and":[79,103,131,161],"IoT":[80,106],"Collected":[82],"combines":[85],"guests":[88],"stay":[89],"recorded":[90],"hotel":[92],"staff,":[93],"well":[95,189],"streams":[98],"captured":[99],"telephone":[101],"exchange":[102],"other":[104],"Next,":[108],"we":[109,155,168],"performed":[110],"formal":[119],"methods.":[120],"Spin":[121],"model":[122,129,149,193],"checker":[123],"simulate":[127],"executions":[130],"automatically":[132],"verify":[133],"model.":[136,153],"We":[137,181],"an":[139],"algorithm":[140],"automatic":[143],"transformation":[144],"into":[150],"verification":[152,166],"Additionally,":[154],"developed":[156],"generator":[158],"positive":[160],"negative":[162],"examples.":[163],"In":[164],"stage,":[167],"have":[169],"also":[170],"Linear":[172],"temporal":[173],"logic":[174],"(LTL)":[175],"define":[177],"requested":[178],"system":[179],"specifications.":[180],"find":[182],"that":[183],"results":[186],"will":[187],"suited":[190],"repair.":[194]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2020-03-23T00:00:00"}