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

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.

Author(s):  
Kamyar Sarshar ◽  
Peter Loos

Given that business processes are performed in an organizational context, it is essential that process modeling notations provide proper mechanisms to represent the resources perspective of business processes. After relating the resource perspective within a framework to other business process perspectives and discussing the lifecycle resource models undergo, this contribution introduces the UML 2.0 activity diagrams as well as object Petri nets regarding their approach to model the resource perspective of business processes. Afterwards, the application of the notations is illustrated by a real-life process of the health-care domain. The following comparison of the notations indicates the benefits and the limitations of both notations.


1998 ◽  
Vol 08 (01) ◽  
pp. 21-66 ◽  
Author(s):  
W. M. P. VAN DER AALST

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.


2021 ◽  
Vol 2021 ◽  
pp. 1-7
Author(s):  
Shabnam Shahzadi ◽  
Xianwen Fang ◽  
David Anekeya Alilah

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.


Sign in / Sign up

Export Citation Format

Share Document