Workflow Modeling for Cooperative Production Development Based upon Advanced Petri Net

2008 ◽  
Vol 392-394 ◽  
pp. 810-815
Author(s):  
L.H. Zou ◽  
D.M. Gou ◽  
C.L. Sun ◽  
H. Gao

Process modeling of Cooperative Product Development (CPD) is the key of CPD process management. Analyzing the process of developing production based upon Petri Nets, referring to workflow management and combining with parallel project, a new workflow modeling method based upon layered timed color Petri nets is invented, which supports the developing of the model production that parallels CAD/CAPP. Finally taking the developing CDP of model product as an example, workflow model has been designed and has been inspected and verified in the software platform.

2013 ◽  
Vol 748 ◽  
pp. 1217-1222
Author(s):  
Zi Wei Zeng ◽  
Qiu Si Zhang

Workflow management system is playing more and more significant role in business process management (BPM) and office automation (OA) of enterprises[. It can improve the efficiency and manageability of an enterprises daily teamwork, control as well as coordinate the processes[. Traditionally, it is not easy for the workflow modeling method to describe the complex business process clearly and intuitively. In this paper we improved the role based workflow model, and proposed a workflow modeling method based on multi-role playing. It is possible to make the modeling easier and simpler when we come to the complex business process modeling problems. Finally, an example of a B/S based Enterprise Financial Reimbursement Management System (EFRMS) is demonstrated to prove the convenience and feasibility about the method mentioned.


2010 ◽  
Vol 450 ◽  
pp. 413-416
Author(s):  
Yong Ping Hao ◽  
Xiao Lei Xu ◽  
Wei Ping Shao ◽  
Peng Fei Zeng

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.


2013 ◽  
Vol 756-759 ◽  
pp. 1175-1179
Author(s):  
Qiang Wang

Workflow technology continues to be subjected to on-going development in its traditional application areas of business process modeling and business process coordination [ .It can improve the efficiency and manageability of an enterprises daily teamwork .Traditionally, it is not easy for the workflow modeling method to describe the complex business process clearly and intuitively [ .In this paper ,we improve the role based workflow model and introduces definition and enactment models to characterize workflows. In the way ,flexible modeling and enactment of business process is supported allowing changes even during execution.Finally,an example of Financial Reimbursement System is demonstrated to prove the convenience and feasibility about the method mentioned.


2011 ◽  
Vol 211-212 ◽  
pp. 310-314
Author(s):  
Qing Liang Zeng ◽  
Tie Li Ye ◽  
Li Rong Wan ◽  
Kun Lv

Collaborative product development (CPD) is a dynamic collaborative process. A workflow model supporting CPD can provide a powerful and orderly workflow management for modern product development. This paper studies the requirements of CPD towards the workflow model, establishes a workflow metamodel supporting CPD process, proposes an idea of ontology-based workflow modeling and builds the workflow ontology model, which will strongly support interactive manipulation between the workflow management systems of collaborative product development.


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.


1995 ◽  
Vol 04 (02n03) ◽  
pp. 145-164 ◽  
Author(s):  
VOLKER GRUHN

Most of today’s approaches to business process engineering (also called business process management) start from an activity-centered perspective. They describe activities to be carried out within a business process and their relationships, but they usually pay little attention to the objects manipulated within processes. In this article, we discuss an approach to business process modeling, model analysis, and business process enaction (also called workflow management) which is based on data modeling, activity modeling, and organization modeling. In fact, the ℒeu approach to business process management considers data models (describing types of objects to be manipulated in a business process and their relationships), activity models (describing activities to be carried out in a business process), and organization models (describing organizational entities involved in a business process) as separate, but equally important, facets of business processes.


2011 ◽  
Vol 58-60 ◽  
pp. 1802-1806
Author(s):  
Hai Lan Pan ◽  
Cui Hong Wu ◽  
Jia Qi Wu

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.


Author(s):  
Lei Liu ◽  
Wei Liu ◽  
Yuyue Du

In the present modeling tools, there is no proper model to describe the fairness of resource scheduling for sharing systems. In order to solve this problem well, we propose a new sharing system and Queue Logical Petri nets. In this paper, a complete process of entering and leaving a garage is modeled by a Queue Logical Petri nets. Based on random arrival and exponential arrival, the average waiting time of vehicles, the average stay time in the queue and the average number of waiting vehicles in the queue are analyzed. According to reachable sequence of Queue Logical Petri net, the Invariant, the utilization of garage and the number of waiting vehicles are analyzed. And the validity of the sharing system with queue is proved by compared with other methods in the experiment.


2007 ◽  
Vol 10-12 ◽  
pp. 230-234
Author(s):  
G.Q. Wang ◽  
G. Wang ◽  
Min Lv

Most of workflow management systems in the market are based on centralized defining in the organization. Further more, they have poor ability to describe the complex process, and have difficulty to deal with the business process share between cross-organizations. To support virtual and cross-organizational workflows in distributed environment, WfMSs must realize cross-organizational and distributed management to improve the dependability and extensible etc. To solve these issues, a Web-based lightweight process modeling system has been developed in this paper. This system is based on Java and XML technology, and provides friendly GUI which is easy to be used. The model document can be saved in XML format, so the interoperation between different workflow products becomes easy. This system establishes the base for enacting the WfMSs.


Sign in / Sign up

Export Citation Format

Share Document