scholarly journals Translating Workflow Nets to Process Trees: An Algorithmic Approach

2020 ◽  
Author(s):  
Sebastiaan J. van Zelst ◽  
Sander J.J. Leemans
Keyword(s):  
Process Modeling ◽  
Time Complexity ◽  
Explicit Knowledge ◽  
Process Mining ◽  
Behavioral Control ◽  
Control Flow ◽  
Algorithmic Approach ◽  
Modeling Formalism ◽  
Mining Algorithms ◽  
Process Tree

Since their introduction, process trees have been frequently used as a process modeling formalism in many process mining algorithms. A process tree is a (mathematical) tree-based model of a process, in which internal vertices represent behavioral control-flow relations and leaves represent process activities. Translation of a process tree into a sound Workflow net is trivial; however, the reverse is not the case. Simultaneously, an algorithm that translates a WF-net into a process tree is of great interest, e.g., the explicit knowledge of the control-flow hierarchy in a WF-net allows one to reason on its behavior more easily. Hence, in this paper, we present such an algorithm, i.e., it detects whether a WF-net corresponds to a process tree, and, if so, constructs it. We prove that, when the algorithm finds a process tree, the language of the process tree is equal to the language of the original WF-net. The experiments conducted show that the algorithm’s corresponding implementation has a quadratic time complexity in the size of the WF-net. Furthermore, the experiments show strong evidence of process tree re-discoverability.

scholarly journals Translating Workflow Nets to Process Trees: An Algorithmic Approach

Algorithms ◽  
2020 ◽  
Vol 13 (11) ◽  
pp. 279
Author(s):  
Sebastiaan J. van Zelst ◽  
Sander J. J. Leemans
Keyword(s):  
Process Modeling ◽  
Time Complexity ◽  
Explicit Knowledge ◽  
Process Mining ◽  
Behavioral Control ◽  
Control Flow ◽  
Algorithmic Approach ◽  
Modeling Formalism ◽  
Mining Algorithms ◽  
Process Tree

Since their introduction, process trees have been frequently used as a process modeling formalism in many process mining algorithms. A process tree is a (mathematical) tree-based model of a process, in which internal vertices represent behavioral control-flow relations and leaves represent process activities. Translation of a process tree into a sound workflow net is trivial. However, the reverse is not the case. Simultaneously, an algorithm that translates a WF-net into a process tree is of great interest, e.g., the explicit knowledge of the control-flow hierarchy in a WF-net allows one to reason on its behavior more easily. Hence, in this paper, we present such an algorithm, i.e., it detects whether a WF-net corresponds to a process tree, and, if so, constructs it. We prove that, if the algorithm finds a process tree, the language of the process tree is equal to the language of the original WF-net. The experiments conducted show that the algorithm’s corresponding implementation has a quadratic time complexity in the size of the WF-net. Furthermore, the experiments show strong evidence of process tree rediscoverability.

scholarly journals Detecting Complex Control-Flow Constructs for Choosing Process Discovery Techniques

2019 ◽  
Vol 9 (1) ◽  
pp. 1389-1393
Keyword(s):  
Business Process ◽  
Free Choice ◽  
Process Mining ◽  
Control Flow ◽  
Process Models ◽  
Event Data ◽  
Process Discovery ◽  
Event Logs ◽  
Complex Process ◽  
Mining Algorithms

Process models are the analytical illustration of an organization’s activity. They are very primordial to map out the current business process of an organization, build a baseline of process enhancement and construct future processes where the enhancements are incorporated. To achieve this, in the field of process mining, algorithms have been proposed to build process models using the information recorded in the event logs. However, for complex process configurations, these algorithms cannot correctly build complex process structures. These structures are invisible tasks, non-free choice constructs, and short loops. The ability of each discovery algorithm in discovering the process constructs is different. In this work, we propose a framework responsible of detecting from event logs the complex constructs existing in the data. By identifying the existing constructs, one can choose the process discovery techniques suitable for the event data in question. The proposed framework has been implemented in ProM as a plugin. The evaluation results demonstrate that the constructs can correctly be identified.

scholarly journals AGRICULTURAL MACHINERY AND IMPLEMENTS DESIGN PROCESS: GUIDELINES FOR SMALL AND MID-SIZED BUSINESSES

2016 ◽  
Vol 36 (1) ◽  
pp. 206-216 ◽  
Author(s):  
Renato L. Bergamo ◽  
Leonardo N. Romano
Keyword(s):  
Human Resources ◽  
Case Studies ◽  
Design Process ◽  
Process Modeling ◽  
Reference Model ◽  
New Products ◽  
Machine Design ◽  
Reference Models ◽  
Knowledge Domains ◽  
Modeling Formalism

ABSTRACT This study aims at presenting the process of machine design and agricultural implements by means of a reference model, formulated with the purpose of explaining the development activities of new products, serving as a guideline to coach human resources and to assist in formalizing the process in small and medium-sized businesses (SMB), i.e. up to 500 employees. The methodology used included the process modeling, carried out from case studies in the SMB, and the study of reference models in literature. The modeling formalism used was based on the IDEF0 standard, which identifies the dimensions required for the model detailing: input information; activities; tasks; knowledge domains; mechanisms; controls and information produced. These dimensions were organized in spreadsheets and graphs. As a result, a reference model with 27 activities and 71 tasks was obtained, distributed over four phases of the design process. The evaluation of the model was carried out by the companies participating in the case studies and by experts, who concluded that the model explains the actions needed to develop new products in SMB.

scholarly journals Audit Pengelolaan Sekolah Menggunakan Proses Mining

2020 ◽  
Vol 2 (3) ◽  
pp. 349-357
Author(s):  
Ahmad Fayyadh Qaimul Haq ◽  
Kurnia Siwi Kinasih ◽  
Dyah Ayu Wiranti ◽  
Muhammad Ainul Yaqin ◽  
Abd. Charis Fauzan
Keyword(s):  
Process Mining ◽  
Process Tree

Tujuan dari pembuatan paper ini adalah untuk melakukan audit pengelolaan sekolah dengan menggunakan metode process mining dan  memanfaatkan aplikasi RapidProM. Data yang digunakan dalam audit pengelolaan sekolah ini merupakan data primer yang diperoleh dari observasi dan dokumentasi di SMAN 1 Tanjung Jabung Timur, kemudian diproses dengan menerapkan metode process mining. Dengan adanya penelitian ini diharapkan dapat melakukan pengelolaan organisasi yang ada di sekolah, sehingga pengelolaan organisasi di sekolah akan lebih efektif. Dengan adanya audit pengelolaan sekolah, pengelolaan sekolah akan memenuhi kualitas dan standar yang sesuai dengan Standar Nasional Pendidikan. Hasil penelitian audit pengelolaan sekolah dengan metode process mining yang menggunakan empat algoritma diantaranya Algoritma Alpha miner, Algoritma Fuzzy miner, Algoritma Heuristic miner, dan Algoritma Process tree dinilai memiliki kesesuaian yang tepat terhadap data yang ada. Dari hasil penelitian audit pengelolaan sekolah ini dapat disimpulkan persentase yang didapatkan dari masing masing algoritma, yaitu pada algoritma Alpha miner hasil persentase fitness 0,95 (95%) dan  precision 0,9 (90%),  pada algoritma Heuristic miner hasil persentase fitness 0,972 (97,2%) dan precision 0,83 (83%), pada algoritma Process tree hasil persentase fitness 0,98 (98%) dan  precision 1 (100%), pada algoritma Fuzzy miner hasil persentase fitness 0,99 (99%) dan  precision 0,915 (91,5%).

An Integrated Infrastructure Using Process Mining Techniques for Software Process Verification

2013 ◽  
pp. 364-382 ◽  
Author(s):  
Tuğba Gürgen ◽  
Ayça Tarhan ◽  
N. Alpay Karagöz
Keyword(s):  
Case Studies ◽  
Process Management ◽  
Process Mining ◽  
Software Process ◽  
Process Models ◽  
Task Management ◽  
Process Verification ◽  
Real Process ◽  
Management Processes ◽  
Mining Algorithms

The verification of process implementations according to specifications is a critical step of process management. This verification must be practiced according to objective criteria and evidence. This study explains an integrated infrastructure that utilizes process mining for software process verification and case studies carried out by using this infrastructure. Specific software providing the utilization of process mining algorithms for software process verification is developed as a plugin to an open-source EPF Composer tool that supports the management of software and system engineering processes. With three case studies, bug management, task management, and defect management processes are verified against defined and established process models (modeled by using EPF Composer) by using this plugin over real process data. Among these, the results of the case study performed in a large, leading IT solutions company in Turkey are remarkable in demonstrating the opportunities for process improvement.

Comparative Analysis of Process Mining Algorithms in Process Discover

2021 ◽  
pp. 258-270
Author(s):  
André Filipe Domingos Gomes ◽  
Ana Cristina Wanzeller Guedes de Lacerda ◽  
Joana Rita da Silva Fialho
Keyword(s):  
Comparative Analysis ◽  
Process Mining ◽  
Mining Algorithms

Comparative Analysis of Process Mining Algorithms in Python

2021 ◽  
pp. 27-43
Author(s):  
André Filipe Domingos Gomes ◽  
Ana Cristina Wanzeller Guedes de Lacerda ◽  
Joana Rita da Silva Fialho
Keyword(s):  
Comparative Analysis ◽  
Process Mining ◽  
Mining Algorithms

Determine Execution Time and Selection Probabilities in Process Mining via Petri Nets

2013 ◽  
Vol 760-762 ◽  
pp. 1951-1958 ◽  
Author(s):  
Huan Zhou ◽  
Chuang Lin ◽  
Yi Ping Deng ◽  
Zi Cheng Wan
Keyword(s):  
Decision Making ◽  
Petri Net ◽  
Time Perspective ◽  
Process Mining ◽  
Research Process ◽  
Path Selection ◽  
Control Flow ◽  
Selection Probabilities ◽  
Delay Prediction ◽  
Novel Algorithm

In process mining research, process discovery techniques can produce or rebuild models with the information from logs. There are already algorithms supporting control-flow perspective mining which focus on the order of events and provide understanding workflow paths. But few of them take time perspective and path selection probabilities into consideration, which are important in performance evaluating, delay prediction, decision making, as well as process redesigning and optimizing. This paper provides a novel algorithm which determines the information of time perspective and selection probabilities from a log and integrates them with the control-flow perspective. By applying this algorithm, a stochastic Petri net is provided which is useful in performance analyzing and process optimizing.

scholarly journals Exploring location-dependency in process modeling

2014 ◽  
Vol 20 (6) ◽  
pp. 794-815 ◽  
Author(s):  
Xinwei Zhu ◽  
Jan Recker ◽  
Guobin Zhu ◽  
Flávia Maria Santoro
Keyword(s):  
Business Process ◽  
Process Modeling ◽  
Context Awareness ◽  
Business Processes ◽  
Flow Patterns ◽  
Control Flow ◽  
Process Models ◽  
Location Awareness ◽  
Process Data ◽  
Content Type

Purpose – Context-awareness has emerged as an important principle in the design of flexible business processes. The goal of the research is to develop an approach to extend context-aware business process modeling toward location-awareness. The purpose of this paper is to identify and conceptualize location-dependencies in process modeling. Design/methodology/approach – This paper uses a pattern-based approach to identify location-dependency in process models. The authors design specifications for these patterns. The authors present illustrative examples and evaluate the identified patterns through a literature review of published process cases. Findings – This paper introduces location-awareness as a new perspective to extend context-awareness in BPM research, by introducing relevant location concepts such as location-awareness and location-dependencies. The authors identify five basic location-dependent control-flow patterns that can be captured in process models. And the authors identify location-dependencies in several existing case studies of business processes. Research limitations/implications – The authors focus exclusively on the control-flow perspective of process models. Further work needs to extend the research to address location-dependencies in process data or resources. Further empirical work is needed to explore determinants and consequences of the modeling of location-dependencies. Originality/value – As existing literature mostly focusses on the broad context of business process, location in process modeling still is treated as “second class citizen” in theory and in practice. This paper discusses the vital role of location-dependencies within business processes. The proposed five basic location-dependent control-flow patterns are novel and useful to explain location-dependency in business process models. They provide a conceptual basis for further exploration of location-awareness in the management of business processes.

Sign in / Sign up

Export Citation Format

Share Document