scholarly journals Weaving Business Processes and Rules: A Petri Net Approach

2009 ◽  
pp. 121-126
Author(s):  
Jian Yu ◽  
Quan Z. Sheng ◽  
Paolo Falcarin ◽  
Maurizio Morisio
Keyword(s):  
Petri Net ◽  
Business Processes

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

1998 ◽  
Vol 08 (01) ◽  
pp. 21-66 ◽  
Author(s):  
W. M. P. VAN DER AALST
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Business Processes ◽  
State Of The Art ◽  
Workflow Management ◽  
Explicit Representation ◽  
The Other ◽  
Application Domain ◽  
Analysis Techniques ◽  
The One

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.

scholarly journals Role of Stochastic Petri Net (SPN) in Process Discovery for Modelling and Analysis

2021 ◽  
Vol 2021 ◽  
pp. 1-7
Author(s):  
Shabnam Shahzadi ◽  
Xianwen Fang ◽  
David Anekeya Alilah
Keyword(s):  
Petri Net ◽  
Business Processes ◽  
Time Perspective ◽  
Process Mining ◽  
Vital Role ◽  
Process Discovery ◽  
Stochastic Petri Net ◽  
Event Log ◽  
The Stability ◽  
Generalized Stochastic Petri Net

For exploitation and extraction of an event’s data that has vital information which is related to the process from the event log, process mining is used. There are three main basic types of process mining as explained in relation to input and output. These are process discovery, conformance checking, and enhancement. Process discovery is one of the most challenging process mining activities based on the event log. Business processes or system performance plays a vital role in modelling, analysis, and prediction. Recently, a memoryless model such as exponential distribution of the stochastic Petri net SPN has gained much attention in research and industry. This paper uses time perspective for modelling and analysis and uses stochastic Petri net to check the performance, evolution, stability, and reliability of the model. To assess the effect of time delay in firing the transition, stochastic reward net SRN model is used. The model can also be used in checking the reliability of the model, whereas the generalized stochastic Petri net GSPN is used for evaluation and checking the performance of the model. SPN is used to analyze the probability of state transition and the stability from one state to another. However, in process mining, logs are used by linking log sequence with the state and, by this, modelling can be done, and its relation with stability of the model can be established.

LOPN-Based BPR of Container Terminal Production Controlling System

2013 ◽  
Vol 367 ◽  
pp. 441-446
Author(s):  
Wei Zhu Zhong ◽  
Xiao Qing Fu ◽  
Ya Ping Wang
Keyword(s):  
Petri Net ◽  
Business Processes ◽  
Lower Cost ◽  
Container Terminal ◽  
Controlling System ◽  
Object Petri Net

This paper presents a new redesigned solution on Container Terminal Production Controlling System, which goal is to correct defects existing and to rebuild business processes with lower cost, higher quality, flexible, faster and more intelligent responsiveness to whole system. The model of BPR is confirmed by the method of Logistic Object Petri Net.

TOWARDS AGENT-BASED MODELING AND VERIFICATION OF COLLABORATIVE BUSINESS PROCESSES: AN APPROACH CENTERED ON INTERACTIONS AND BEHAVIORS

2009 ◽  
Vol 18 (03n04) ◽  
pp. 423-479 ◽  
Author(s):  
MARCO STUIT ◽  
NICK B. SZIRBIK
Keyword(s):  
Business Process ◽  
Petri Net ◽  
Process Design ◽  
Business Processes ◽  
Colored Petri Net ◽  
Agent Based ◽  
Verification Method ◽  
Design Time ◽  
Collaborative Business Process

This paper presents the process-oriented aspects of a formal and visual agent-based business process modeling language. The language is of use for (networks of) organizations that elect or envisage multi-agent systems for the support of collaborative business processes. The paper argues that the design of a collaborative business process should start with a proper understanding of the work practice of the agents in the business domain under consideration. The language introduces a novel diagram to represent the wide range of (cross-enterprise) business interactions as a hierarchy of role-based interactions (including their ordering relations) in a tree structure. The behaviors owned by the agents playing the roles in the tree are specified in separate process diagrams. A collaborative business process studied in the context of a case study at a Dutch gas transport company is used to exemplify the modeling approach. Explicit (agent-based) process models can and should be verified using formal methods. In the business process community, design-time verification of a process design is considered vital in order to ensure the correctness and termination of a collaborative business process. The proposed modeling approach is enhanced with a design-time verification method. The direction taken in this research is to combine the interaction tree and the associated agent behaviors into a verifiable hierarchical colored Petri net in order to take advantage of its well-defined (execution) semantics and proven (computerized) verification techniques. The verification method presented in this paper consists of three steps: (1) the translation of the agent-based process design to a hierarchical colored Petri net, (2) the identification of process design errors, and (3) the correction and rollback of process design errors to the agent-based model. The translation technique has been implemented in a software tool that outputs the hierarchical colored Petri net in a format that can be loaded in the widely used CPN Tools software package. Verification results are discussed for the case study model.

scholarly journals Approach to intellectualization of complete supply chain management processes using fuzzy expert systems

2021 ◽  
pp. 26-39
Author(s):  
Yuri Romanenkov ◽  
◽  
Yashar Rahimi ◽  
Mariia Danova ◽  
Olena Feoktystova ◽  
...  
Keyword(s):  
Decision Making ◽  
Network Model ◽  
Petri Net ◽  
Business Processes ◽  
Resource Constraints ◽  
Raw Materials ◽  
Central Element ◽  
Typical Food ◽  
Upper Level ◽  
Fuzzy Network

”. It is shown that in order to increase the efficiency of the functioning of complete logistical supply chains (CLSC), it is necessary to develop special methodological tools, and, on their basis, software to facilitate decision-making on the timely formation of liquid consignments at the terminal sections of the chain of liquid goods. The article describes a fuzzy network of CLSC in the form of a hierarchical two-level nested Petri net (NPN), the upper level of which reproduces the process of functioning of the focal company as the central element of the CLSC, and each of the components of the lower level of the network model is an elementary Petri net reflecting the logistic processes at the terminal sections of the CLSC production of raw materials and sale of finished products. This article also gives a description of the procedure for creating a fuzzy network model for representing information about business processes that take place during the functioning of the CLSC, taking into account the existing time and resource constraints, in the form of a NPN, which is expanded by introducing fuzzy and temporal statements. Special methods of automated decision- making on the sustainable functioning of CLSCs are described and justified in terms of making a choice on the transport mode and optimal routing. Based on the developed methodological tools, the process of forming and providing the stable functioning of the CLSC for typical food products of the grocery group, namely dried fruits, is considered.

Sign in / Sign up

Export Citation Format

Share Document