In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activit...In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.展开更多
Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process mod...Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.展开更多
This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XM...This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XML. Petri nets have strict mathematics and intuitionistic diagram ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated powerful supporting tools. XML, as an extensible markup language, is already a information description de facto standard. XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively, which consequently enables the analysis and optimi- zation of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency. In this paper, to demonstrate the modeling of the controlling flow and data flow of mobile business process, an in- strument repair business case is modeled with XML nets.展开更多
The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics tha...The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics that exist between any two members of supply chain;moreover, we model other activities performed by the company such as manufacturing clothing. The model has been built to acquire a better understanding about the behavior of a textile company in the fulfillment of requests from costumers. The model has been built using CPN Tools. This model was built with modules for activities of the supply chain textile, e.g. receiving orders of customers, determination of production plan, procurement raw material, transportation of raw material, production and delivering products to customers. This modularized model offers some advantages to represent complex supply chains according to their structure and requirements. Thus, we can add modules easily depending on the necessary activities.展开更多
To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the ...To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the mapping rules from the specification of Petri nets extension to process are discussed in detail respectively. Based on the collective concepts of process, the specification of dynamic semantics also is constructed as a net system. Finally, to illustrate process intuitively, an example is specified completely.展开更多
In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so o...In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.展开更多
Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and s...Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper.展开更多
Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design...Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade.By comparing an existing process model with event logs,we can detect inconsistencies called deviations,verify and extend the business process model,and accordingly improve the business process.In this paper,some abnormal activities in business processes are formally defined based on Petri nets.An efficient approach to detect deviations between the process model and event logs is proposed.Then,business process models are revised when abnormal activities exist.A clinical process in a healthcare information system is used as a case study to illustrate our work.Experimental results show the effectiveness and efficiency of the proposed approach.展开更多
Models for the design of assembly processes are considered. Various models for the voice control of an industrial robot are considered: a logical model, semantic networks, a frame model and Petri nets. It is shown tha...Models for the design of assembly processes are considered. Various models for the voice control of an industrial robot are considered: a logical model, semantic networks, a frame model and Petri nets. It is shown that this set of models allows describing the process of designing the technological process for an industrial robot. The logical model of the technological process allows you to define logical relationships. A model based on semantic networks describes the relationship between assembly units in a detail. This allows you to determine the order and method of registration, as well as the mutual orientation of assembly units in the product. The frame model provides the ability to streamline the execution of the build process. A model based on Petri nets allows one to describe the type and sequence of technological transitions. Based on the proposed models, a method of voice control for an industrial robot is developed. The basic principles of voice control for an industrial robot are considered.展开更多
Assembly model plans an important role in assembly sequence planning.Flexible assembly system (FAS) is a dis- crete event system (DES),so Petri net,as an important analytical tool for the DES,is used for modeling of a...Assembly model plans an important role in assembly sequence planning.Flexible assembly system (FAS) is a dis- crete event system (DES),so Petri net,as an important analytical tool for the DES,is used for modeling of an FAS.All of the feasible assembly sequences can be obtained by firing the Petri net model.In order to enhancing the efficiency of the assembly sequence planning,knowledge-based Petri net,combining an usual Petri net with expert’s knowledge and experiences,is proposed to con- struct the assembly model.So the feasible assembly sequences can be reduced greatly,and the optimum assembly sequence could be generated without the combinatorial explosion of solutions.展开更多
The production and energy coupling system is used to mainly present energy flow, material flow, information flow, and their coupling interaction. Through the modeling and simulation of this system, the performance of ...The production and energy coupling system is used to mainly present energy flow, material flow, information flow, and their coupling interaction. Through the modeling and simulation of this system, the performance of energy flow can be analyzed and optimized in the process industry. In order to study this system, the component based hybrid Petri net methodology (CpnHPN) is proposed, synthesizing a number of extended Petri net methods and using the concept of energy place, material place, and information place. Through the interface place in CpnHPN, the component based encapsulation is established, which enables the production and energy coupling system to be built, analyzed, and optimized on the multi-level framework. Considering the block and brief simulation for hybrid system, the CpnHPN model is simulated with Simulink/Stateflow. To illustrate the use of the proposed methodology, the application of CpnHPN in the energy optimization of chlorine balance system is provided.展开更多
In a flexible manufacturing system, both the productivity and the flexibility of the manufacturing processes are highly influenced by robot sequencing. In this paper a petri net based approach for sequencing of indust...In a flexible manufacturing system, both the productivity and the flexibility of the manufacturing processes are highly influenced by robot sequencing. In this paper a petri net based approach for sequencing of industrial robot in a flexible manufacturing cell is presented and a decision structure for robot sequencing based on different criteria is described.展开更多
The basic theory of the Petri net model is introduced and the characteristics of alternative process planning are analyzed. Then, the modeling of alternative process planning based on Petri nets is discussed in detail...The basic theory of the Petri net model is introduced and the characteristics of alternative process planning are analyzed. Then, the modeling of alternative process planning based on Petri nets is discussed in detail. Themodeling process is partitioned into three stages:the modeling of feature operation chains and grouped feature operation chains, the modeling of a feature group's setup determination and the modeling of part setups and related machine function. This paper focuses on the first and the third stages. Furthermore, a case study and implementation of system are described.展开更多
Job planning (JP) systems shop oriented provide a basis for job shop scheduling and control in organizing short term production activities. This paper presents a method based on timed Petri net (TPN) method that is ...Job planning (JP) systems shop oriented provide a basis for job shop scheduling and control in organizing short term production activities. This paper presents a method based on timed Petri net (TPN) method that is used to program optimal JP for assembly shop. It includes three parts further. Firstly, an architecture of solutions to JP problems for any kind of shop oriented is presented to define a particular JP for a designated JP problem. Secondly, Petri net model is specified for aircraft part assembly processes. Finally, algorithms for optimizing generation of dynamic mechanism and a simulating case are then discussed. In comparison with traditional methods such as PERT or CPM, it is obviously convenient for planners or schedulers to schedule and manage assembly processes.展开更多
文摘In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.
文摘Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.
基金Supported by the Beijing Natural Science Foundation(9133020)the National Natural Science Foundation of China(70972007)+1 种基金National Sciences Foundation Committee and General Administration of Civil Aviation of China(60672180)Beijing Municipal Natural Science Foundation(9102015)
文摘This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XML. Petri nets have strict mathematics and intuitionistic diagram ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated powerful supporting tools. XML, as an extensible markup language, is already a information description de facto standard. XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively, which consequently enables the analysis and optimi- zation of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency. In this paper, to demonstrate the modeling of the controlling flow and data flow of mobile business process, an in- strument repair business case is modeled with XML nets.
文摘The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics that exist between any two members of supply chain;moreover, we model other activities performed by the company such as manufacturing clothing. The model has been built to acquire a better understanding about the behavior of a textile company in the fulfillment of requests from costumers. The model has been built using CPN Tools. This model was built with modules for activities of the supply chain textile, e.g. receiving orders of customers, determination of production plan, procurement raw material, transportation of raw material, production and delivering products to customers. This modularized model offers some advantages to represent complex supply chains according to their structure and requirements. Thus, we can add modules easily depending on the necessary activities.
文摘To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the mapping rules from the specification of Petri nets extension to process are discussed in detail respectively. Based on the collective concepts of process, the specification of dynamic semantics also is constructed as a net system. Finally, to illustrate process intuitively, an example is specified completely.
基金supported in part by the National Key R&D Program of China(2017YFB1001804)Shanghai Science and Technology Innovation Action Plan Project(16511100900)
文摘In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.
文摘Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper.
基金supported by the National Natural Science Foundation of China(61170078,61472228,61903229,61902222)the “Taishan Scholar” Construction Project of Shandong Province,China,the Natural Science Foundation of Shandong Province(ZR2018MF001)+1 种基金the Scientific Research Foundation of Shandong University of Science and Technology for Recruited Talents(2017RCJJ044)the Key Research and Development Program of Shandong Province(2018GGX101011)
文摘Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade.By comparing an existing process model with event logs,we can detect inconsistencies called deviations,verify and extend the business process model,and accordingly improve the business process.In this paper,some abnormal activities in business processes are formally defined based on Petri nets.An efficient approach to detect deviations between the process model and event logs is proposed.Then,business process models are revised when abnormal activities exist.A clinical process in a healthcare information system is used as a case study to illustrate our work.Experimental results show the effectiveness and efficiency of the proposed approach.
文摘Models for the design of assembly processes are considered. Various models for the voice control of an industrial robot are considered: a logical model, semantic networks, a frame model and Petri nets. It is shown that this set of models allows describing the process of designing the technological process for an industrial robot. The logical model of the technological process allows you to define logical relationships. A model based on semantic networks describes the relationship between assembly units in a detail. This allows you to determine the order and method of registration, as well as the mutual orientation of assembly units in the product. The frame model provides the ability to streamline the execution of the build process. A model based on Petri nets allows one to describe the type and sequence of technological transitions. Based on the proposed models, a method of voice control for an industrial robot is developed. The basic principles of voice control for an industrial robot are considered.
文摘Assembly model plans an important role in assembly sequence planning.Flexible assembly system (FAS) is a dis- crete event system (DES),so Petri net,as an important analytical tool for the DES,is used for modeling of an FAS.All of the feasible assembly sequences can be obtained by firing the Petri net model.In order to enhancing the efficiency of the assembly sequence planning,knowledge-based Petri net,combining an usual Petri net with expert’s knowledge and experiences,is proposed to con- struct the assembly model.So the feasible assembly sequences can be reduced greatly,and the optimum assembly sequence could be generated without the combinatorial explosion of solutions.
基金Shanghai Municipal Science & Technology Projects, China (No. 09DZ1203300, No. 10JC1415200)
文摘The production and energy coupling system is used to mainly present energy flow, material flow, information flow, and their coupling interaction. Through the modeling and simulation of this system, the performance of energy flow can be analyzed and optimized in the process industry. In order to study this system, the component based hybrid Petri net methodology (CpnHPN) is proposed, synthesizing a number of extended Petri net methods and using the concept of energy place, material place, and information place. Through the interface place in CpnHPN, the component based encapsulation is established, which enables the production and energy coupling system to be built, analyzed, and optimized on the multi-level framework. Considering the block and brief simulation for hybrid system, the CpnHPN model is simulated with Simulink/Stateflow. To illustrate the use of the proposed methodology, the application of CpnHPN in the energy optimization of chlorine balance system is provided.
文摘In a flexible manufacturing system, both the productivity and the flexibility of the manufacturing processes are highly influenced by robot sequencing. In this paper a petri net based approach for sequencing of industrial robot in a flexible manufacturing cell is presented and a decision structure for robot sequencing based on different criteria is described.
文摘The basic theory of the Petri net model is introduced and the characteristics of alternative process planning are analyzed. Then, the modeling of alternative process planning based on Petri nets is discussed in detail. Themodeling process is partitioned into three stages:the modeling of feature operation chains and grouped feature operation chains, the modeling of a feature group's setup determination and the modeling of part setups and related machine function. This paper focuses on the first and the third stages. Furthermore, a case study and implementation of system are described.
文摘Job planning (JP) systems shop oriented provide a basis for job shop scheduling and control in organizing short term production activities. This paper presents a method based on timed Petri net (TPN) method that is used to program optimal JP for assembly shop. It includes three parts further. Firstly, an architecture of solutions to JP problems for any kind of shop oriented is presented to define a particular JP for a designated JP problem. Secondly, Petri net model is specified for aircraft part assembly processes. Finally, algorithms for optimizing generation of dynamic mechanism and a simulating case are then discussed. In comparison with traditional methods such as PERT or CPM, it is obviously convenient for planners or schedulers to schedule and manage assembly processes.
