Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workfl...Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workflow process models which deals with the verification of workflow and finds the potential errors in the process design. Additionally, an efficient verification algorithm is given.展开更多
Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the ...Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.展开更多
In enterprise dynamic alliance towards agile manufacturing systems, any group needs to know which activities it must take part in, in what order those activities take place and how many other groups it must interact ...In enterprise dynamic alliance towards agile manufacturing systems, any group needs to know which activities it must take part in, in what order those activities take place and how many other groups it must interact with. The traditional procedural models can’t meet the requirement of the modeling for an enterprise dynamic alliance. In this paper, we use role based models for an enterprise modeling. Role based models group activities into roles, which describe the desired behavior of individual enterprise. We have developed a graphical modeling tool built on Web/DCOM platform according to Petri net theory and role based methodology.展开更多
In order to take full advantage of regeneration process to reduce fresh water consumption and avoid the accumulation of trace contaminants, regeneration reuse and regeneration recycle should be distinctive. A stepwise...In order to take full advantage of regeneration process to reduce fresh water consumption and avoid the accumulation of trace contaminants, regeneration reuse and regeneration recycle should be distinctive. A stepwise optimal design for water network is developed to simplify solution procedures for the formulated MINLP problem. In this paper, a feasible water reuse network framework is generated. Some heuristic rules from water reuse network are used to guide the placement of regeneration process. Then the outlet stream of regeneration process is considered as new water source. Regeneration reuse network structure is obtained through an iterative optimal procedure by taking the insights from reuse water network structure. Furthermore, regeneration recycle is only utilized to eliminate fresh water usage for processes in which regeneration reuse is impossible. Compared with the results obtained by relevant researches for the same example, the present method not only provides an appropriate regeneration reuse water network with minimum fresh water and regenerated water flow rate but also suggests a water network involving regeneration recycle with minimum recycle water flow rate. The design can utilize reuse, regeneration reuse and regeneration recycle step by step with minor water network structure change to achieve better flexibility. It can satisfy different demands for new plants and modernization of existing plants.展开更多
文摘Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workflow process models which deals with the verification of workflow and finds the potential errors in the process design. Additionally, an efficient verification algorithm is given.
文摘Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.
文摘In enterprise dynamic alliance towards agile manufacturing systems, any group needs to know which activities it must take part in, in what order those activities take place and how many other groups it must interact with. The traditional procedural models can’t meet the requirement of the modeling for an enterprise dynamic alliance. In this paper, we use role based models for an enterprise modeling. Role based models group activities into roles, which describe the desired behavior of individual enterprise. We have developed a graphical modeling tool built on Web/DCOM platform according to Petri net theory and role based methodology.
基金Supported by the National Natural Science Foundation of China(20906007)
文摘In order to take full advantage of regeneration process to reduce fresh water consumption and avoid the accumulation of trace contaminants, regeneration reuse and regeneration recycle should be distinctive. A stepwise optimal design for water network is developed to simplify solution procedures for the formulated MINLP problem. In this paper, a feasible water reuse network framework is generated. Some heuristic rules from water reuse network are used to guide the placement of regeneration process. Then the outlet stream of regeneration process is considered as new water source. Regeneration reuse network structure is obtained through an iterative optimal procedure by taking the insights from reuse water network structure. Furthermore, regeneration recycle is only utilized to eliminate fresh water usage for processes in which regeneration reuse is impossible. Compared with the results obtained by relevant researches for the same example, the present method not only provides an appropriate regeneration reuse water network with minimum fresh water and regenerated water flow rate but also suggests a water network involving regeneration recycle with minimum recycle water flow rate. The design can utilize reuse, regeneration reuse and regeneration recycle step by step with minor water network structure change to achieve better flexibility. It can satisfy different demands for new plants and modernization of existing plants.
