Workflow Modeling for Virtual Enterprise: a Petri Net Based Process-View Approach

2006 ◽  
Author(s):  
Xinyu Shao ◽  
Ping Jiang ◽  
Haobo Qiu ◽  
Liang Gao
Keyword(s):  
Petri Net ◽  
Virtual Enterprise ◽  
Workflow Modeling ◽  
Process View

scholarly journals Business Process Management System Modeling in the Virtual Enterprise Based on Stochastic Colored Petri Net

2012 ◽  
Vol 6-7 ◽  
pp. 547-552
Author(s):  
De Long Zhang ◽  
Xiao Zhong Li ◽  
Xiao Peng Li
Keyword(s):  
Business Process ◽  
Petri Net ◽  
Management System ◽  
Process Model ◽  
Business Process Management ◽  
Process Management ◽  
Virtual Enterprise ◽  
Information Management System ◽  
Utilization Rate ◽  
Colored Petri Net

Traditional enterprise information systems have many defects, so business process management (BPM) system was applied to the virtual enterprise and virtual enterprise process model is established based on BPM system. The dominant enterprise and the member enterprises used BPM system for their own information management system in the virtual enterprise. The BPM system model of the virtual enterprise was divided into the formation process and the operation process. The analysis method based on stochastic colored Petri net(SCPN) was also presented which can be used to model and analyze the process model in order to obtain the system performance analysis data. The virtual enterprise resources utilization rate can be seen. The model extends the application area of BPM system and provides a reference for the construction and management of virtual enterprise.

A Method of Business Process Modeling Based on Petri Net

2010 ◽  
Vol 450 ◽  
pp. 413-416
Author(s):  
Yong Ping Hao ◽  
Xiao Lei Xu ◽  
Wei Ping Shao ◽  
Peng Fei Zeng
Keyword(s):  
Business Process ◽  
Petri Net ◽  
Process Modeling ◽  
Process Model ◽  
Business Process Management ◽  
Process Management ◽  
Business Process Modeling ◽  
Parallel Process ◽  
Workflow Modeling ◽  
Business Process Model

Through the analysis of the execution and dispatching principle of the Petri net, the business process management mode based on Petri net is proposed. We merge the place node and the transition node, and reside the token in the node. The only token in process instances and the sub-token in parallel process are introduced, which can avoid conflicts caused by multi-tokens. The business process model for the drawings design and approval is established, and it is verified by the workflow modeling system.

An Improved Validation Algorithm of Workflow Model Rationality

2011 ◽  
Vol 58-60 ◽  
pp. 1802-1806
Author(s):  
Hai Lan Pan ◽  
Cui Hong Wu ◽  
Jia Qi Wu
Keyword(s):  
Business Process ◽  
Petri Net ◽  
Workflow Model ◽  
Workflow Modeling ◽  
Solid Foundation

Workflow technique has been successfully used in many enterprises, and workflow modeling is one of the most important links, a successful application of workflow model can lay a solid foundation for realizing automation and monitoring of enterprise’s business process. This paper firstly points out the necessity of rationality validation in workflow model, then analyzes all kinds of existing validation algorithm of workflow model rationality, and emphatically describes a validation algorithm based on Petri net. At last this algorithm is improved, and the correctness of the algorithm is verified by an instance.

Concurrency and Collision Workflow Modeling and Validating Based on Petri Net in Logistics Vehicle Scheduling System

2012 ◽  
Vol 11 (1) ◽  
pp. 689-692
Author(s):  
Weicheng Xie ◽  
Yongqiang Chen ◽  
Changmin Chen ◽  
Yi Xie
Keyword(s):  
Petri Net ◽  
Vehicle Scheduling ◽  
Workflow Modeling ◽  
Scheduling System

Matter Element Digraph Based Workflow Modeling

2010 ◽  
Vol 156-157 ◽  
pp. 60-63
Author(s):  
Chong Jing Yan ◽  
Yan Song
Keyword(s):  
Business Process ◽  
Virtual Enterprise ◽  
Workflow Model ◽  
Workflow Modeling ◽  
Efficient Tool ◽  
Manufacturing Enterprises ◽  
Modern Manufacturing ◽  
Manufacturing Mode

Virtual enterprise or e-manufacturing is an advanced and effective manufacturing mode to modern manufacturing enterprises. In these modes, business process has been extended to outer enterprises, i.e. inter organization workflow. In order to achieve a efficient tool for workflow modeling with both simplicity and semantics, matter element is applied to construct a matter element digraph, in which a node is matter element. Then manufacturing service based workflow model can be dynamically changed or composed by matter element transformation. A case is studied to explain the approach presented in this paper.

Process Modeling of Virtual Enterprises Partner Selection Based on Petri Net

2012 ◽  
Vol 472-475 ◽  
pp. 3017-3020
Author(s):  
Bin Huang ◽  
Ning Ning Ma ◽  
Liang Chen
Keyword(s):  
Petri Net ◽  
Process Modeling ◽  
Process Model ◽  
Selection Process ◽  
Virtual Enterprise ◽  
Partner Selection ◽  
Virtual Enterprises ◽  
Dynamic Behaviors ◽  
Model Based ◽  
Reachability Tree

Partner selection process is a major issue in the formation of a virtual enterprise. This paper analyzes the partner selection process of a virtual enterprise and provides its model based on Petri net. The model describes the dynamic behaviors such as concurrent, asynchronism among the factors in partner selection process. In addition, paper analyzes the liveness of the process model by means of the reachability tree.

Sign in / Sign up

Export Citation Format

Share Document