Process mining approach to formal business process modelling and verification: a case study

Ito, Sohei; Vymetal, Dominik; Šperka, Roman

doi:10.1108/jm2-03-2020-0077

Cited by 4 publications

(1 citation statement)

References 44 publications

(47 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A methodology for formal verification of processes in enterprises by means of process mining is proposed by Ito et al (2021).…”

Section: Resultsmentioning

confidence: 99%

Matrix approach to digitalization of management objects

Tyapukhin

2023

JM2

View full text Add to dashboard Cite

Purpose The purpose of this study is to substantiate the matrix approach to digitalization of management objects based on identification of relevant qualitative characteristics of these objects and its dichotomies, which allowing determine the quantity and quality of their main variants, as well as the relationships between them. Design/methodology/approach Methods of classification and typology are selected as study methods, and binary matrices are used as the tool to determine the main variants of management objects, assign binary codes to it and form codes of more complex management objects on its basis, depending on the content of study tasks. Findings The main results of study include the classification of organization components; variants for choosing qualitative characteristics of chains components; adjusted content of methodology of qualitative research of management objects; sequences of “up” and “down” digitization of these objects; actual qualitative characteristics of e components of management objects and dichotomies; and variants of forming of ciphers of these objects. Practical implications The use of study results allows to reduce the complexity of substantiating and making managerial decisions in organization and supply chains, to structure these decisions by man-agement levels and positions and to reduce costs, time and lost profits for fulfilling orders of end consumers of products and/or services. Originality/value The originality of this study is confirmed by the substantiation of choice and use of actual qualitative characteristics of management objects and its dichotomies, which allow obtaining two variants of these objects and assigning them binary codes processed using computer software for management activities.

show abstract

“…A methodology for formal verification of processes in enterprises by means of process mining is proposed by Ito et al (2021).…”

Section: Resultsmentioning

confidence: 99%

Matrix approach to digitalization of management objects

Tyapukhin

2023

JM2

View full text Add to dashboard Cite

show abstract

Improving processing efficiency through workflow process reengineering, simulation and value stream mapping: a case study of business process reengineering

Wang,

Vo,

Hsu

et al. 2024

BPMJ

View full text Add to dashboard Cite

PurposeBusiness Process Reengineering (BPR) eliminates non-value-added (NVA) and essential non-value-added (ENVA) waste through radical process redesign to improve organizational operations. Comprehensive research integrating BPR tools is needed to understand their benefits for manufacturing firms. This research presents an integrated BPR-simulation framework tailored to the manufacturing sector to maximize process improvements and operational excellence.Design/methodology/approachThe BPR design methodology adopts a systematic, multi-stage approach. The first phase involves identifying a specific improvement process aligned with BPR's core objectives. This phase analyses and redesigns workflows to optimize task sequences, roles, and stakeholder interactions while eliminating redundancies and inefficiencies via Workflow Process Reengineering. Visual process mapping tools, including VSM and simulation, pinpoint areas of waste, delay, and potential enhancement. The second phase follows the workflow analysis and aims to improve efficiency and effectiveness by redefining roles, rearranging tasks, and integrating automation and technology solutions. The redesigned process undergoes evaluation against key performance indicators to ensure measurable improvements are achieved. The final phase validates the proposed changes through simulation models, assesses the impact on key performance metrics, and establishes the necessary infrastructure for successful implementation. The proposed model is empirically validated through a case study of a leading apparel company in Vietnam, confirming its effectiveness.FindingsThe findings reveal that NVA activities are being eliminated, and ENVA activities in key departments are significantly reduced. This yielded a substantial improvement, reducing 25 out of 186 combined ENVA and NVA operations in the sewing facility, involving a decrease of 15 ENVA operations and the removal of 10 NVA operations. Consequently, this led to an 8.5% reduction in the proportion of ENVA operations, accompanied by a complete 100% elimination of NVA activities.Research limitations/implicationsThe single case study limits generalizability; thus, expanded implementation across diverse manufacturing sub-sectors is required to establish validity and broader applicability of the integrated framework.Originality/valueThe experimental results highlight the proposed model's effectiveness in optimizing resource utilization and its practical implementation potential. This structured BPR methodology enables organizations to validate, evaluate, and establish proposed process changes to enhance operational performance and productivity.

show abstract