A prototype of fault diagnosis based on Petri net, which is developed for a satellite tele-control subsystem, is introduced in this paper. Its structure is first given with the emphasis on a Petri net modeling tool wh...A prototype of fault diagnosis based on Petri net, which is developed for a satellite tele-control subsystem, is introduced in this paper. Its structure is first given with the emphasis on a Petri net modeling tool which is designed using the object oriented method. The prototype is connected to the database with DAO (Date Access Object) technique, and makes the Petri net's firing mechanism and its analyzing methods to be packed up as DLL (Dynamic Link Library) documents. Compared with the rule-based expert system method, the Petri net-based one can store the knowledge in mathematical matrix and make inference more quickly and effectively.展开更多
This paper investigates the fault detection problem for discrete event systems (DESs) which can be modeled by partially observed Petri nets (POPNs). To overcome the problem of low diagnosability in the POPN online fau...This paper investigates the fault detection problem for discrete event systems (DESs) which can be modeled by partially observed Petri nets (POPNs). To overcome the problem of low diagnosability in the POPN online fault diagnoser in current use, an improved online fault diagnosis algorithm that integrates generalized mutual exclusion constraints (GMECs) and integer linear programming (ILP) is proposed. Assume that the POPN structure and its initial markings are known, and the faults are modeled as unobservable transitions. First, the event sequence is observed and recorded. GMEC is used for elementary diagnosis of the system behavior, then the ILP problem of POPN is solved for further diagnosis. Finally, an example of a real DES to test the new fault diagnoser is analyzed. The proposed algorithm increases the diagnosability of the DES remarkably, and the effectiveness of the new algorithm integrating GMEC and ILP is verified.展开更多
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.展开更多
文摘A prototype of fault diagnosis based on Petri net, which is developed for a satellite tele-control subsystem, is introduced in this paper. Its structure is first given with the emphasis on a Petri net modeling tool which is designed using the object oriented method. The prototype is connected to the database with DAO (Date Access Object) technique, and makes the Petri net's firing mechanism and its analyzing methods to be packed up as DLL (Dynamic Link Library) documents. Compared with the rule-based expert system method, the Petri net-based one can store the knowledge in mathematical matrix and make inference more quickly and effectively.
基金supported by the National Natural Science Foundation of China(61473144)
文摘This paper investigates the fault detection problem for discrete event systems (DESs) which can be modeled by partially observed Petri nets (POPNs). To overcome the problem of low diagnosability in the POPN online fault diagnoser in current use, an improved online fault diagnosis algorithm that integrates generalized mutual exclusion constraints (GMECs) and integer linear programming (ILP) is proposed. Assume that the POPN structure and its initial markings are known, and the faults are modeled as unobservable transitions. First, the event sequence is observed and recorded. GMEC is used for elementary diagnosis of the system behavior, then the ILP problem of POPN is solved for further diagnosis. Finally, an example of a real DES to test the new fault diagnoser is analyzed. The proposed algorithm increases the diagnosability of the DES remarkably, and the effectiveness of the new algorithm integrating GMEC and ILP is verified.
文摘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.
