{"id":"https://openalex.org/W4389056387","doi":"https://doi.org/10.3390/fi15120378","title":"Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes","display_name":"Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes","publication_year":2023,"publication_date":"2023-11-26","ids":{"openalex":"https://openalex.org/W4389056387","doi":"https://doi.org/10.3390/fi15120378"},"language":"en","primary_location":{"id":"doi:10.3390/fi15120378","is_oa":true,"landing_page_url":"https://doi.org/10.3390/fi15120378","pdf_url":"https://www.mdpi.com/1999-5903/15/12/378/pdf?version=1700992274","source":{"id":"https://openalex.org/S34838331","display_name":"Future Internet","issn_l":"1999-5903","issn":["1999-5903"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Future Internet","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1999-5903/15/12/378/pdf?version=1700992274","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092184876","display_name":"Fawad Ali Mangi","orcid":"https://orcid.org/0000-0002-0379-5764"},"institutions":[{"id":"https://openalex.org/I180291457","display_name":"Mehran University of Engineering and Technology","ror":"https://ror.org/0575ttm03","country_code":"PK","type":"education","lineage":["https://openalex.org/I180291457"]},{"id":"https://openalex.org/I204824540","display_name":"University of Wollongong","ror":"https://ror.org/00jtmb277","country_code":"AU","type":"education","lineage":["https://openalex.org/I204824540"]}],"countries":["AU","PK"],"is_corresponding":false,"raw_author_name":"Fawad Ali Mangi","raw_affiliation_strings":["Department of Computer Systems Engineering, Mehran University of Engineering and Technology Jamshoro, Sindh 76062, Pakistan","School of Computing and Information Technology, University of Wollongong, Wollongong 2522, Australia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems Engineering, Mehran University of Engineering and Technology Jamshoro, Sindh 76062, Pakistan","institution_ids":["https://openalex.org/I180291457"]},{"raw_affiliation_string":"School of Computing and Information Technology, University of Wollongong, Wollongong 2522, Australia","institution_ids":["https://openalex.org/I204824540"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060245971","display_name":"Guoxin Su","orcid":"https://orcid.org/0000-0002-2087-4894"},"institutions":[{"id":"https://openalex.org/I204824540","display_name":"University of Wollongong","ror":"https://ror.org/00jtmb277","country_code":"AU","type":"education","lineage":["https://openalex.org/I204824540"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Guoxin Su","raw_affiliation_strings":["School of Computing and Information Technology, University of Wollongong, Wollongong 2522, Australia"],"affiliations":[{"raw_affiliation_string":"School of Computing and Information Technology, University of Wollongong, Wollongong 2522, Australia","institution_ids":["https://openalex.org/I204824540"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100774525","display_name":"Minjie Zhang","orcid":"https://orcid.org/0000-0003-1326-1106"},"institutions":[{"id":"https://openalex.org/I204824540","display_name":"University of Wollongong","ror":"https://ror.org/00jtmb277","country_code":"AU","type":"education","lineage":["https://openalex.org/I204824540"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Minjie Zhang","raw_affiliation_strings":["School of Computing and Information Technology, University of Wollongong, Wollongong 2522, Australia"],"affiliations":[{"raw_affiliation_string":"School of Computing and Information Technology, University of Wollongong, Wollongong 2522, Australia","institution_ids":["https://openalex.org/I204824540"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5060245971"],"corresponding_institution_ids":["https://openalex.org/I204824540"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.6386,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.75826588,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"15","issue":"12","first_page":"378","last_page":"378"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":1.0,"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":1.0,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9868000149726868,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9833999872207642,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8588399887084961},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6527822017669678},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.6197994351387024},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.5065208673477173},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.49460360407829285},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4803817868232727},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.4711025357246399},{"id":"https://openalex.org/keywords/business-process-discovery","display_name":"Business process discovery","score":0.45135438442230225},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.45066842436790466},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.43459275364875793},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.42026543617248535},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3635517954826355},{"id":"https://openalex.org/keywords/industrial-engineering","display_name":"Industrial engineering","score":0.32435765862464905},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31219324469566345},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.3004831075668335}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8588399887084961},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6527822017669678},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.6197994351387024},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.5065208673477173},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.49460360407829285},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4803817868232727},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.4711025357246399},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.45135438442230225},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.45066842436790466},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.43459275364875793},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.42026543617248535},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3635517954826355},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.32435765862464905},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31219324469566345},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.3004831075668335},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3390/fi15120378","is_oa":true,"landing_page_url":"https://doi.org/10.3390/fi15120378","pdf_url":"https://www.mdpi.com/1999-5903/15/12/378/pdf?version=1700992274","source":{"id":"https://openalex.org/S34838331","display_name":"Future Internet","issn_l":"1999-5903","issn":["1999-5903"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Future Internet","raw_type":"journal-article"},{"id":"pmh:oai:ro.uow.edu.au:test2021-15824","is_oa":false,"landing_page_url":"https://ro.uow.edu.au/test2021/10277","pdf_url":null,"source":{"id":"https://openalex.org/S4306400510","display_name":"Research Online (University of Wollongong)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I204824540","host_organization_name":"University of Wollongong","host_organization_lineage":["https://openalex.org/I204824540"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus Harvesting Series","raw_type":"text"},{"id":"pmh:oai:RePEc:gam:jftint:v:15:y:2023:i:12:p:378-:d:1288139","is_oa":false,"landing_page_url":"https://www.mdpi.com/1999-5903/15/12/378/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"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":"article"},{"id":"pmh:oai:doaj.org/article:61ecde51138a465ca6aa691d8ef1f617","is_oa":true,"landing_page_url":"https://doaj.org/article/61ecde51138a465ca6aa691d8ef1f617","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Future Internet, Vol 15, Iss 12, p 378 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/fi15120378","is_oa":true,"landing_page_url":"https://doi.org/10.3390/fi15120378","pdf_url":"https://www.mdpi.com/1999-5903/15/12/378/pdf?version=1700992274","source":{"id":"https://openalex.org/S34838331","display_name":"Future Internet","issn_l":"1999-5903","issn":["1999-5903"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Future Internet","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389056387.pdf"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1515231954","https://openalex.org/W1843425376","https://openalex.org/W1862398452","https://openalex.org/W2067971887","https://openalex.org/W2087103691","https://openalex.org/W2098250644","https://openalex.org/W2159904898","https://openalex.org/W2175304969","https://openalex.org/W2468625138","https://openalex.org/W2527393991","https://openalex.org/W2755223717","https://openalex.org/W2767263582","https://openalex.org/W2787596386","https://openalex.org/W2884985042","https://openalex.org/W2891182845","https://openalex.org/W2896876660","https://openalex.org/W2965882148","https://openalex.org/W3097755136","https://openalex.org/W3126118053","https://openalex.org/W3128849215","https://openalex.org/W3152847422","https://openalex.org/W3208930226","https://openalex.org/W3209506867","https://openalex.org/W3215124153","https://openalex.org/W4210770559","https://openalex.org/W4235705169","https://openalex.org/W4236686386","https://openalex.org/W4280514621","https://openalex.org/W4289874439","https://openalex.org/W4301712081","https://openalex.org/W4310080449","https://openalex.org/W4311354561","https://openalex.org/W4319877724","https://openalex.org/W4380894388","https://openalex.org/W4394629068","https://openalex.org/W6622293416","https://openalex.org/W6633768105","https://openalex.org/W6678055372","https://openalex.org/W6731115184","https://openalex.org/W6752792052","https://openalex.org/W6785353898","https://openalex.org/W7073772456"],"related_works":["https://openalex.org/W2150478723","https://openalex.org/W4365511202","https://openalex.org/W4300560926","https://openalex.org/W2158991459","https://openalex.org/W4248246100","https://openalex.org/W2050159024","https://openalex.org/W2142618121","https://openalex.org/W3194914602","https://openalex.org/W2156732239","https://openalex.org/W1611051793"],"abstract_inverted_index":{"The":[0,114,180,236],"study":[1,217,238],"of":[2,29,81,95,116,133,188,211,218,248],"business":[3,103],"process":[4,37,57,112,126,134,170,194,222,250],"analysis":[5],"and":[6,46,59,78,88,110,131,139,162,168,172,185,200,252],"optimisation":[7],"has":[8],"attracted":[9],"significant":[10],"scholarly":[11],"interest":[12],"in":[13,22,125,155,202,224],"the":[14,64,93,122,129,178,189,204,209,245],"recent":[15],"past,":[16],"due":[17],"to":[18,43,76,91,108,120,176,191,243],"its":[19],"integral":[20],"role":[21],"boosting":[23],"organisational":[24],"performance.":[25],"A":[26],"specific":[27],"area":[28],"focus":[30],"within":[31],"this":[32,117,156],"broader":[33],"research":[34,157],"field":[35],"is":[36,42,71,106,119,147],"mining":[38,127],"(PM).":[39],"Its":[40],"purpose":[41],"extract":[44],"knowledge":[45],"insights":[47],"from":[48],"event":[49],"logs":[50],"maintained":[51],"by":[52,164,234],"information":[53],"systems,":[54],"thereby":[55],"discovering":[56],"models":[58,135,171,251],"identifying":[60],"process-related":[61],"issues.":[62],"On":[63],"other":[65],"hand,":[66],"statistical":[67,86,174],"model":[68,145,195],"checking":[69,146],"(SMC)":[70],"a":[72,96,101,152,193,215,219,225],"verification":[73,130],"technique":[74,124],"used":[75],"analyse":[77],"validate":[79,109],"properties":[80],"stochastic":[82,137],"systems":[83],"that":[84,159,228],"employs":[85],"methods":[87,175],"random":[89],"sampling":[90],"estimate":[92,177],"likelihood":[94],"property":[97],"being":[98],"satisfied.":[99],"In":[100],"seamless":[102],"setting,":[104],"it":[105],"essential":[107],"verify":[111],"models.":[113],"objective":[115],"paper":[118],"apply":[121,173],"SMC":[123,161],"for":[128],"validation":[132],"with":[136,197,214,230],"behaviour":[138],"large":[140],"state":[141],"space,":[142],"where":[143],"probabilistic":[144],"not":[148],"feasible.":[149],"We":[150,207],"propose":[151],"novel":[153],"methodology":[154,181,213],"direction":[158],"integrates":[160],"PM":[163],"formally":[165],"modelling":[166],"discovered":[167],"replayed":[169],"results.":[179],"facilitates":[182],"an":[183],"automated":[184],"proficient":[186],"evaluation":[187],"extent":[190],"which":[192],"aligns":[196],"user":[198],"requirements":[199],"assists":[201],"selecting":[203],"optimal":[205],"model.":[206],"demonstrate":[208],"effectiveness":[210],"our":[212,240],"case":[216,237],"loan":[220,231],"application":[221],"performed":[223],"financial":[226],"institution":[227],"deals":[229],"applications":[232],"submitted":[233],"customers.":[235],"highlights":[239],"methodology\u2019s":[241],"capability":[242],"identify":[244],"performance":[246],"constraints":[247],"various":[249],"aid":[253],"enhancement":[254],"efforts.":[255]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}