scholarly journals Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes

2016 ◽  
Author(s):  
Leiliane Pereira de Rezende ◽  
Stéphane Julia ◽  
Janette Cardoso
Keyword(s):  
Business Processes ◽  
Workflow Nets

Assigning Ontological Meaning to Workflow Nets

2012 ◽  
pp. 209-244
Author(s):  
Pnina Soffer ◽  
Maya Kaner ◽  
Yair Wand
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Business Processes ◽  
Process Models ◽  
Actual Process ◽  
Workflow Nets ◽  
Business Process Models ◽  
Business Goals ◽  
General Constraints ◽  
Process Behavior

A common way to represent organizational domains is the use of business process models. A Workflow-net (WF-net) is an application of Petri Nets (with additional rules) that model business process behavior. However, the use of WF-nets to model business processes has some shortcomings. In particular, no rules exist beyond the general constraints of WF-nets to guide the mapping of an actual process into a net. Syntactically correct WF-nets may provide meaningful models of how organizations conduct their business processes. Moreover, the processes represented by these nets may not be feasible to execute or reach their business goals when executed. In this paper, the authors propose a set of rules for mapping the domain in which a process operates into a WF-net, which they derived by attaching ontological semantics to WF-nets. The rules guide the construction of WF-nets, which are meaningful in that their nodes and transitions are directly related to the modeled (business) domains. Furthermore, the proposed semantics imposes on the process models constraints that guide the development of valid process models, namely, models that assure that the process can accomplish its goal when executed.

Assigning Ontological Meaning to Workflow Nets

2010 ◽  
Vol 21 (3) ◽  
pp. 1-35 ◽  
Author(s):  
Pnina Soffer ◽  
Maya Kaner ◽  
Yair Wand
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Business Processes ◽  
Process Models ◽  
Actual Process ◽  
Workflow Nets ◽  
Business Process Models ◽  
Business Goals ◽  
General Constraints ◽  
Process Behavior

A common way to represent organizational domains is the use of business process models. A Workflow-net (WF-net) is an application of Petri Nets (with additional rules) that model business process behavior. However, the use of WF-nets to model business processes has some shortcomings. In particular, no rules exist beyond the general constraints of WF-nets to guide the mapping of an actual process into a net. Syntactically correct WF-nets may provide meaningful models of how organizations conduct their business processes. Moreover, the processes represented by these nets may not be feasible to execute or reach their business goals when executed. In this paper, the authors propose a set of rules for mapping the domain in which a process operates into a WF-net, which they derived by attaching ontological semantics to WF-nets. The rules guide the construction of WF-nets, which are meaningful in that their nodes and transitions are directly related to the modeled (business) domains. Furthermore, the proposed semantics imposes on the process models constraints that guide the development of valid process models, namely, models that assure that the process can accomplish its goal when executed.

RESOURCE ORIENTED WORKFLOW NETS AND WORKFLOW RESOURCE REQUIREMENT ANALYSIS

2013 ◽  
Vol 23 (05) ◽  
pp. 677-693 ◽  
Author(s):  
JIACUN WANG ◽  
DEMIN LI
Keyword(s):  
Emergency Response ◽  
Business Processes ◽  
Requirement Analysis ◽  
Workflow Model ◽  
Resource Requirement ◽  
Resource Analysis ◽  
Workflow Nets ◽  
Scarce Resources ◽  
Resource Requirements ◽  
Efficient Resource

Petri nets are a powerful formalism in modeling workflows. A workflow determines the flow of work according to pre-defined business process. In many situations, business processes are constrained by scarce resources. The lack of resources can cause contention, the need for some tasks to wait for others to complete, which slows down the accomplishment of larger goals. In our previous work, a resource-constrained workflow model was introduced and a resource requirement analysis approach was developed for emergency response workflows, in which support of on-the-fly workflow change is critical [14]. In this paper, we propose a Petri net based approach for recourse requirements analysis, which can be used for more general purposes. The concept of resource-oriented workflow nets (ROWN) is introduced and the transition firing rules of ROWN are presented. Resource requirements for general workflows can be done through reachability analysis. An efficient resource analysis algorithm is developed for a class of well-structured workflows, in which when a task execution is started it is guaranteed to finish successfully. For a task that may fail in the middle of execution, an equivalent non-failing task model in terms of resource consumption is developed.

scholarly journals An analytical method for well-formed workflow/Petri net verification of classical soundness

2014 ◽  
Vol 24 (4) ◽  
pp. 931-939 ◽  
Author(s):  
Julio Clempner
Keyword(s):  
Dynamical Systems ◽  
Petri Nets ◽  
Petri Net ◽  
Difference Equations ◽  
Analytical Method ◽  
Business Processes ◽  
Formal Model ◽  
Lyapunov Theory ◽  
Workflow Nets ◽  
Workflow Net

Abstract In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavior that will not necessarily satisfy the soundness property. In this sense, we propose an analytical method for showing that a workflow net satisfies the classical soundness property using a Petri net. To present our statement, we use Lyapunov stability theory to tackle the classical soundness verification problem for a class of dynamical systems described by Petri nets. This class of Petri nets allows a dynamical model representation that can be expressed in terms of difference equations. As a result, by applying Lyapunov theory, the classical soundness property for workflow nets is solved proving that the Petri net representation is stable. We show that a finite and non-blocking workflow net satisfies the sound property if and only if its corresponding PN is stable, i.e., given the incidence matrix A of the corresponding PN, there exists a Փ strictly positive m vector such that AՓ≤ 0. The key contribution of the paper is the analytical method itself that satisfies part of the definition of the classical soundness requirements. The method is designed for practical applications, guarantees that anomalies can be detected without domain knowledge, and can be easily implemented into existing commercial systems that do not support the verification of workflows. The validity of the proposed method is successfully demonstrated by application examples.

COMPOSITIONAL VERIFICATION FOR WORKFLOW NETS

2006 ◽  
Vol 15 (04) ◽  
pp. 551-570 ◽  
Author(s):  
LI JIAO ◽  
TO-YAT CHEUNG
Keyword(s):  
Petri Nets ◽  
Business Processes ◽  
Extended Model ◽  
Workflow Modeling ◽  
Compositional Verification ◽  
Workflow Nets ◽  
Business Context ◽  
Correctness Criterion ◽  
The Relationship ◽  
Compositional Method

A workflow is the automation of business processes that describe activities in a business context. Petri nets have been widely used as a workflow modeling technique. Workflow nets (WF-nets), introduced by van der Aalst [LNCS1248 (1997) 407–426], are a class of Petri nets tailored towards workflow analysis. Soundness is used as the least correctness criterion for WF-nets in order to ensure that a process can terminate properly. This paper extends WF-nets by considering resources and allowing for multi-cases in a process. For the extended model, the relationship between soundness and standard behavior properties of Petri nets is investigated. A compositional method to construct and verify sound WF-nets is introduced.

PERENCANAAN ARSITEKTUR ENTERPRISE MENGGUNAKAN EAP DENGAN ZACHMAN FRAMEWORK (Studi Kasus : CV BIENSI FESYENINDO)

2019 ◽  
Vol 2 (1) ◽  
pp. 1-16
Author(s):  
Anjas Tryana
Keyword(s):  
Enterprise Architecture ◽  
Business Processes ◽  
Current System ◽  
System Support ◽  
Architecture Model ◽  
Use Of Resources ◽  
Application Architecture ◽  
Data Architecture ◽  
Planning Methodology ◽  
Implementation Plans

With the development of technology today, it is very important for every company to plan and develop a system to support business processes in each company. Achieving the goals of an enterprise faces challenges and changes that require strategies for effective measures and efficient use of resources. One important and increasingly widely used strategy is the use and improvement of information system support for the enterprise. This plan can utilize enterprise architecture planning methodology that produces data architecture, application architecture, technology architecture, and the direction of its implementation plan for the enterprise.CV Biensi Fesyenindo is engaged in retail garment, with branches throughout Indonesia, covering the areas of Kalimantan, Sulawesai, NTB, NTT, Bali, Java and Sumatra. In their daily activities, they carry out production to distribution processes to meet market and employee needs.The enterprise architecture model used in this study is by using Enterprise Architecture Planning (EAP). EAP is a process of defining enterprise architecture that focuses on data architecture, applications and technology in supporting business and plans to implement the architecture, where the EAP method has several stages, starting from planning in planning, business modeling , Current System and Technology (Current System & Technology), Data Architecture (Data Architecture), Application Architecture (Applications Architecture), Technology Architecture (Technology Architecture), Implementation Plans (Implementation Plans).The results of this study are recommendations for information systems for Fesyenindo Biensi CV in the form of enterprise architecture planing blue print planning that is successful in defining 5 main business processes, which consist of application architecture data architecture and for technological architecture to produce technology architecture proposals divided into 5 chapters 110 pages .

Developing and implementing the risk management framework into business processes of Gazprom transgaz Tomsk Ltd., for implementation of the Eastern gas program of PJSC Gazprom

2020 ◽  
Vol 17 (1) ◽  
pp. 68-77
Author(s):  
V. E. Zaikovsky ◽  
A. V. Karev
Keyword(s):  
Risk Management ◽  
Human Resources ◽  
Management Information System ◽  
Business Processes ◽  
Project Success ◽  
Management Information ◽  
Timely Manner ◽  
Project Approach ◽  
Management Framework ◽  
Risk Management Framework

Project success depends on the ability to respond to risks and make correct decisions in a timely manner. The project approach provides a better framework for implementing a new management system into the company’s business processes. The risk management framework developed by the company comprises a risk management infrastructure, a set of standards, human resources, and a risk management information system. To improve staff compliance, it is necessary to provide training and to communicate the goals of the project effectively. It is also important to develop a motivation system because well trained and motivated staff are able to work more efficiently.

The impact of digitalization on business processes: case study: Kosovo SMEs

2018 ◽  
Author(s):  
Ylber Limani ◽  
Edmond Hajrizi ◽  
Rina Sadriu
Keyword(s):  
Business Processes ◽  
The Impact

Pemodelan Enterprise Arsitektur Sistem Informasi Pemesanan Jasa Percetakan Menggunakan Kerangka TOGAF

2020 ◽  
Vol 4 (2) ◽  
pp. 18
Author(s):  
Bibit - Sudarsono ◽  
Umi - Faddillah
Keyword(s):  
Information Systems ◽  
Business Process ◽  
Business Processes ◽  
Enterprise Modeling ◽  
Improve Performance ◽  
Business Opportunity ◽  
Service Information ◽  
Process Architecture ◽  
System Architecture Design ◽  
A Company

Printing service order information systems sometimes experience problems in completing running business processes including, frequent loss and inaccuracy in registering orders from customers, often also losing order data from customers, recording orders often experience errors, resulting inaccurate reporting of order data. A computerized ordering service information system will greatly help improve performance and accuracy in making reports on business processes running at a company. The existence of enterprise modeling of information systems ordering printing services with the TOGAF framework will be a method that greatly helps management make a decision that will synergize with the business process activities at the company. So that the objectives of the system can be achieved properly. The TOGAF framework can be a solution and will help to produce a system architecture design, a business process architecture, a technology architecture, a number of proposed business opportunity strategy proposals and an ongoing system change proposal.

Sign in / Sign up

Export Citation Format

Share Document